scientific article; zbMATH DE number 2063228
From MaRDI portal
Publication:4460845
zbMath1048.03024MaRDI QIDQ4460845
Iman Hafiz Poernomo, John N. Crossley
Publication date: 29 March 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program specificationconstructive type theoryimperative programsautomated theorem provingCurry-Howard isomorphismHoare logic
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control ⋮ Variations on a theme of Curry
This page was built for publication:
