The mathematical construction of a program

DOI10.1016/0167-6423(84)90011-XzbMath0543.68004OpenAlexW2043931823MaRDI QIDQ796289

Jean-Raymond Abrial

Publication date: 1984

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(84)90011-x

zbMATH Keywords

predicate calculuspropositional calculusprogramming language semanticsformal theory of programminggeneral purpose proof-checkerprogram correctness proof-checking

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items

The weakest prespecification, Denotational semantics of channel mobility in UTP-CSP