Predicative methodology

DOI10.1007/BF00288466MaRDI QIDQ1080649zbMATH OpenOpenAlexFDO

Authors Eric C. R. Hehner, Lorene E. Gupta, Andrew J. Malton

Publication date 1986

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00288466

zbMATH Keywords

logic errorsprogrammingsemantics of programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

We introduce a predicative semantics of programs and show its use in programming. With it, logic errors can be detected and reported when they are made, just like syntax errors. Programming paradigms are stated precisely as theorems. The use of paradigms in larger programs is shown to be the same as the mathematician's use of theorems in the proof of larger theorems.

Recommendations

• Publication:3028321
• Logical predictivism
• scientific article; zbMATH DE number 1028828
• Deterministic prediction theory
• Logical method for predicting situation development based on abductive inference
• Predication and extensionalization
• Predication in the logic of terms
• scientific article; zbMATH DE number 5041700
• scientific article; zbMATH DE number 5136067
• scientific article; zbMATH DE number 5148415

Cites work

• Predicative programming Part I

Cited in

(13)

• Termination conventions and comparative semantics
• Quasi-boolean equivalence
• Simulating Turing machines on Maurer machines
• From predicates to programs: the semantics of a method language
• scientific article; zbMATH DE number 4016169 (Why is no real title available?)
• scientific article; zbMATH DE number 4016170 (Why is no real title available?)
• Programs are predicates
• Implementing ALGOL 68 predicates
• scientific article; zbMATH DE number 4047058 (Why is no real title available?)
• Predicate invention and utilization
• Maurer computers for pipelined instruction processing
• PREDICATIVISM AS A FORM OF POTENTIALISM
• Verification conditions are code

This page was built for publication: Predicative methodology

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