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

programmingsemantics of programslogic errors

Mathematics Subject Classification ID

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

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)

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

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)