A practical theory of programming

DOI10.1016/0167-6423(90)90018-9MaRDI QIDQ808685zbMATH OpenOpenAlexFDO

Authors Eric C. R. Hehner

Publication date 1990

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

Full work available at URL https://doi.org/10.1016/0167-6423(90)90018-9

zbMATH Keywords

programming is provingprograms are predicatestermination is timing

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 517333
• scientific article; zbMATH DE number 1107134
• scientific article; zbMATH DE number 7642012
• scientific article; zbMATH DE number 1088217
• scientific article; zbMATH DE number 804269
• Compositional programming: theory and practice
• scientific article; zbMATH DE number 3845028
• scientific article; zbMATH DE number 194468
• Foundations of programmology

Cited in

(11)

• Operational semantics of Framed Tempura
• The laws of Occam programming
• Programming for behaviour
• Programs are predicates
• Linking Semantic Models
• scientific article; zbMATH DE number 512946 (Why is no real title available?)
• scientific article; zbMATH DE number 517333 (Why is no real title available?)
• scientific article; zbMATH DE number 1088217 (Why is no real title available?)
• scientific article; zbMATH DE number 3995020 (Why is no real title available?)
• scientific article; zbMATH DE number 910714 (Why is no real title available?)
• An elementary and unified approach to program correctness

This page was built for publication: A practical theory of programming

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