Abstraction and Verification in Alphard: Iteration and Generators

This publication has 9 references indexed in Scilit:

• An Introduction to the Construction and Verification of Alphard Programs
  IEEE Transactions on Software Engineering, 1976
• Automatic Program Verification 4: Proof of Termination within a Weak Logic of Programs
  Published by Defense Technical Information Center (DTIC) ,1975
• Automatic program verification I: A logical basis and its implementation
  Acta Informatica, 1975
• A closer look at termination
  Acta Informatica, 1975
• PASCAL User Manual and Report
  Published by Springer Nature ,1974
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973
• A note on the for statement
  BIT Numerical Mathematics, 1972
• Proof of correctness of data representations
  Acta Informatica, 1972
• LISP 1.5 PROGRAMMER'S MANUAL
  Published by Defense Technical Information Center (DTIC) ,1962