Formal definition in program development

This publication has 8 references indexed in Scilit:

• “Software devices” for processing graphs using pl/i compile time facilities
  Information Processing Letters, 1974
• An experiment on program development
  BIT Numerical Mathematics, 1972
• Formal development of correct algorithms
  ACM SIGPLAN Notices, 1972
• Definitional interpreters for higher-order programming languages
  Published by Association for Computing Machinery (ACM) ,1972
• Proof of correctness of data representations
  Acta Informatica, 1972
• Proving correctness of implementation techniques
  Published by Springer Nature ,1971
• On the formal description of PL/I
  Annual Review in Automatic Programming, 1969
• Correspondence between ALGOL 60 and Church's Lambda-notation
  Communications of the ACM, 1965