The mathematical construction of a program

DOI10.1016/0167-6423(84)90011-XzbMATH Open0543.68004OpenAlexW2043931823MaRDI QIDQ796289FDOQ796289

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

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

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)

Cited In (15)

• High-Level Theories
• Title not available (Why is that?)
• Constructive Mathematics in Theory and Programming Practice
• Title not available (Why is that?)
• Programming as a mathematical exercise
• Title not available (Why is that?)
• Title not available (Why is that?)
• The weakest prespecification
• Joining programming theorems. A practical approach to program building
• Denotational semantics of channel mobility in UTP-CSP
• Title not available (Why is that?)
• Specification methods and partial construction of theory by computer
• Title not available (Why is that?)
• Proving properties of Pascal programs in MIZAR 2
• A system for axiomatic programming

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)