scientific article

From MaRDI portal

Revision as of 18:31, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3875311

Jump to:navigation, search

zbMath0435.68006MaRDI QIDQ3875311

Michael J. O'Donnell, Robert L. Constable

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

correctness first-order predicate logic program verification proof rules programming logic Floyd-Hoare like logic PL/CV verifier

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Related Items (5)

Innovations in computational type theory using Nuprl ⋮ On Goedel speed-up and succinctness of language representations ⋮ Programs as proofs: A synopsis ⋮ On verification of programs with goto statements ⋮ Equivalences among logics of programs

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3875311&oldid=17496861"