Adapting Proofs-as-Programs
From MaRDI portal
Publication:5693641
DOI10.1007/0-387-28183-5zbMath1095.68025OpenAlexW93963192MaRDI QIDQ5693641
Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing
Publication date: 28 September 2005
Published in: Monographs in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/0-387-28183-5
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language ⋮ Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms ⋮ Synthesis of Data Views for Communicating Processes ⋮ A Homage to Martin Wirsing ⋮ Ode to the PST ⋮ … and so on: Schütte on Naming Ordinals
This page was built for publication: Adapting Proofs-as-Programs
