Programming as a mathematical exercise

DOI10.1098/RSTA.1984.0070MaRDI QIDQ3221387zbMATH OpenOpenAlexFDO

Authors Jean-Raymond Abrial

Publication date 1984

Published in Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1098/rsta.1984.0070

zbMATH Keywords

program constructionprogram correctnessProgramming Languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3954262
• Writing programs that construct proofs
• The mathematical construction of a program
• scientific article; zbMATH DE number 3850461
• scientific article; zbMATH DE number 4006266

Cited in

(5)

• In code. A mathematical journey.
• scientific article; zbMATH DE number 3911699 (Why is no real title available?)
• scientific article; zbMATH DE number 3954262 (Why is no real title available?)
• scientific article; zbMATH DE number 622677 (Why is no real title available?)
• Logical and algorithmic formalisms for the problem of correct program design

This page was built for publication: Programming as a mathematical exercise

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