A language of specified programs

This publication has 13 references indexed in Scilit:

• The Science of Programming
  Science of Computer Programming, 1982
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• The clean termination of iterative programs
  Acta Informatica, 1981
• On the Development of Correct Specified Programs
  IEEE Transactions on Software Engineering, 1981
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• An example of hierarchical design and proof
  Communications of the ACM, 1978
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• Goal-Directed Program Transformation
  IEEE Transactions on Software Engineering, 1976
• Axiomatic approach to total correctness of programs
  Acta Informatica, 1974
• An axiomatic basis for computer programming
  Communications of the ACM, 1969