Perluette : A compilers producing system using abstract data types

This publication has 8 references indexed in Scilit:

• A portable lisp compiler
  Software: Practice and Experience, 1981
• Abstract data types and software validation
  Communications of the ACM, 1978
• The algebraic specification of abstract data types
  Acta Informatica, 1978
• Algebraic families of interpretations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976
• The denotational semantics of programming languages
  Communications of the ACM, 1976
• Advice on structuring compilers and proving them correct
  Published by Association for Computing Machinery (ACM) ,1973
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Semantics of context-free languages
  Theory of Computing Systems, 1968