Toward formal development of programs from algebraic specifications: Parameterisation revisited

This publication has 24 references indexed in Scilit:

• The calculus of constructions
  Information and Computation, 1988
• The specification language of OBSCURE
  Published by Springer Nature ,1988
• The stratified loose approach: A generalization of initial and loose semantics
  Published by Springer Nature ,1988
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Parameterized Programming
  IEEE Transactions on Software Engineering, 1984
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
  ACM Transactions on Programming Languages and Systems, 1983
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
  Journal of the ACM, 1982
• Universal Algebra
  Published by Springer Nature ,1981
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Lattice Theory. By Garrett Birkhoff. 2nd edition. Pp. xiii, 283. $6. 1948. American Mathematical Society Colloquium Publications, 25. (American Mathematical Society, New York)
  The Mathematical Gazette, 1950