The vienna development method (VDM)

This publication has 14 references indexed in Scilit:

• A formal definition of ALGOL 60 as described in the 1975 modified report
  Published by Springer Nature ,1978
• Denotational semantics of goto: An exit formulation and its relation to continuations
  Published by Springer Nature ,1978
• The meta-language: A reference manual
  Published by Springer Nature ,1978
• A system which automatically improves programs
  Acta Informatica, 1976
• Some transformations for developing recursive programs
  ACM SIGPLAN Notices, 1975
• Formal definition in program development
  Published by Springer Nature ,1975
• Programming with abstract data types
  ACM SIGPLAN Notices, 1974
• Proof of correctness of data representations
  Acta Informatica, 1972
• On the formal description of PL/I
  Annual Review in Automatic Programming, 1969
• Correctness of a compiler for arithmetic expressions
  Proceedings of Symposia in Applied Mathematics, 1967