Program production by successive transformation

This publication has 11 references indexed in Scilit:

• Problems in many-language systems
  Lecture Notes in Computer Science, 1976
• Some transformations for developing recursive programs
  ACM SIGPLAN Notices, 1975
• Structured Programming with go to Statements
  ACM Computing Surveys, 1974
• Relationship between definition and implementation of a language
  Lecture Notes in Computer Science, 1973
• Semantics of context-free languages: Correction
  Theory of Computing Systems, 1971
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Semantics of context-free languages
  Theory of Computing Systems, 1968
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967
• The Equivalence of Certain Computations
  The Computer Journal, 1966
• UNCOL: The myth and the fact
  Annual Review in Automatic Programming, 1961