Implementation of modular algebraic specifications

This publication has 10 references indexed in Scilit:

• Conditional rewrite rules: Confluence and termination
  Journal of Computer and System Sciences, 1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Equational logic as a programming language: Abstract
  Lecture Notes in Computer Science, 1985
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
  SIAM Journal on Computing, 1983
• Final Data Types and Their Specification
  ACM Transactions on Programming Languages and Systems, 1983
• The completeness of the algebraic specification methods for computable data types
  Information and Control, 1982
• Universal realization, persistent interconnection and implementation of abstract modules
  Published by Springer Nature ,1982
• GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract)
  Informatik-Fachberichte, 1981
• Final algebra semantics and data type extensions
  Journal of Computer and System Sciences, 1979