Correctness of the compiling process based on axiomatic semantics

This publication has 10 references indexed in Scilit:

• Implementation Correctness Involving a Language with goto Statements
  SIAM Journal on Computing, 1977
• Program Improvement by Source-to-Source Transformation
  Journal of the ACM, 1977
• Proof Theory of Partial Correctness Verification Systems
  SIAM Journal on Computing, 1976
• The denotational semantics of programming languages
  Communications of the ACM, 1976
• Goal-Directed Program Transformation
  IEEE Transactions on Software Engineering, 1976
• Structured Programming with go to Statements
  ACM Computing Surveys, 1974
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973
• The Vienna Definition Language
  ACM Computing Surveys, 1972
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967