An axiomatic treatment of ALGOL 68 routines

This publication has 13 references indexed in Scilit:

• A semantic view of ALGOL 68
  Computer Languages, 1979
• An axiomatic treatment of ALGOL 68 routines
  Published by Springer Nature ,1979
• Unrestricted procedure calls in Hoare's logic
  Published by Association for Computing Machinery (ACM) ,1978
• Report on the programming language Euclid
  ACM SIGPLAN Notices, 1977
• Programming language constructs for which it is impossible to obtain good hoare-like axiom systems
  Published by Association for Computing Machinery (ACM) ,1977
• A Tutorial on Algol 68
  ACM Computing Surveys, 1976
• The programming language pascal
  Acta Informatica, 1971
• Procedures and parameters: An axiomatic approach
  Lecture Notes in Mathematics, 1971
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967
• Documentation problems
  Communications of the ACM, 1963