A categorical treatment of pre- and post-conditions

DOI10.1016/0304-3975(87)90025-9zbMath0628.68017OpenAlexW2157120061MaRDI QIDQ1093363

Eric G. Wagner

Publication date: 1987

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(87)90025-9

zbMATH Keywords

program specificationGalois connectionpredicate transformerscategories of interpretations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Special categories (18B99)

Related Items (2)

Partial hyperdoctrines: categorical models for partial function logic and Hoare logic ⋮ Unnamed Item

Cites Work

• Programming as a Discipline of Mathematical Nature
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A categorical treatment of pre- and post-conditions