The mathematical construction of a program

DOI10.1016/0167-6423(84)90011-XMaRDI QIDQ796289zbMATH OpenOpenAlexFDO

Authors 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

programming language semanticspredicate calculuspropositional calculusformal theory of programminggeneral purpose proof-checkerprogram correctness proof-checking

Mathematics Subject Classification ID

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

Recommendations

• Specification methods and partial construction of theory by computer
• Proving properties of Pascal programs in MIZAR 2
• Program verification. Fundamental issues in computer science
• scientific article; zbMATH DE number 177798
• scientific article; zbMATH DE number 4006266

Cited in

(15)

• The weakest prespecification
• Proving properties of Pascal programs in MIZAR 2
• A system for axiomatic programming
• Constructive Mathematics in Theory and Programming Practice
• Denotational semantics of channel mobility in UTP-CSP
• scientific article; zbMATH DE number 3895060 (Why is no real title available?)
• scientific article; zbMATH DE number 622677 (Why is no real title available?)
• Joining programming theorems. A practical approach to program building
• scientific article; zbMATH DE number 53194 (Why is no real title available?)
• High-Level Theories
• Specification methods and partial construction of theory by computer
• scientific article; zbMATH DE number 4068250 (Why is no real title available?)
• scientific article; zbMATH DE number 5200721 (Why is no real title available?)
• Programming as a mathematical exercise
• scientific article; zbMATH DE number 4053565 (Why is no real title available?)

This page was built for publication: The mathematical construction of a program

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q796289)