Reliable programming in standard languages

This publication has 14 references indexed in Scilit:

• A Strategy for the Development of Safety Critical Software
  Published by Springer Nature ,1987
• ANNA A Language for Annotating Ada Programs
  Published by Springer Nature ,1987
• NewSpeak: an unexceptional language
  Software Engineering Journal, 1986
• Information-flow and data-flow analysis of while-programs
  ACM Transactions on Programming Languages and Systems, 1985
• Comparison of the Programming Languages C and Pascal
  ACM Computing Surveys, 1982
• A denotational (static) semantics method for defining Ada context conditions
  Published by Springer Nature ,1980
• Social processes and proofs of theorems and programs
  Communications of the ACM, 1979
• Gypsy
  ACM SIGPLAN Notices, 1977
• Report on the programming language Euclid
  ACM SIGPLAN Notices, 1977
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973