A set-theoretic semantics for Clear

This publication has 12 references indexed in Scilit:

• Algebraic specifications with generating constraints
  Published by Springer Nature ,2006
• Initially — Restricting algebraic theories
  Published by Springer Nature ,2005
• Introducing institutions
  Published by Springer Nature ,1984
• R for Semantics
  ACM Transactions on Programming Languages and Systems, 1982
• Partial abstract types
  Acta Informatica, 1982
• Implementation of parameterised specifications
  Published by Springer Nature ,1982
• Programming in a wide spectrum language: a collection of examples
  Science of Computer Programming, 1981
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Abstract data types and software validation
  Communications of the ACM, 1978
• LISP 1.5 PROGRAMMER'S MANUAL
  Published by Defense Technical Information Center (DTIC) ,1962