Design and correctness of a compiler for a non-procedural language

This publication has 10 references indexed in Scilit:

• Lucid, a nonprocedural language with iteration
  Communications of the ACM, 1977
• Lucid—A Formal System for Writing and Proving Programs
  SIAM Journal on Computing, 1976
• Abstract data types and the development of data structures
  Published by Association for Computing Machinery (ACM) ,1976
• An approach to compiler correctness
  ACM SIGPLAN Notices, 1975
• A data flow language for operating systems programming
  ACM SIGPLAN Notices, 1973
• Advice on structuring compilers and proving them correct
  Published by Association for Computing Machinery (ACM) ,1973
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973
• Correctness of a compiler for a Lisp subset
  Published by Association for Computing Machinery (ACM) ,1972
• Correctness of a compiler for arithmetic expressions
  Proceedings of Symposia in Applied Mathematics, 1967
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967