Mathematics of Program Construction

DOI10.1007/b98756zbMath1106.68343OpenAlexW2492557863MaRDI QIDQ5313088

S. A. Curtis, Ingrid Rewitzky, Clare E. Martin

Publication date: 26 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Angelic nondeterminism in the unifying theories of programming ⋮ Relations into algebras of probabilistic distributions ⋮ Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism ⋮ Modelling higher-order dual nondeterminacy ⋮ Alternating states for dual nondeterminism in imperative programming ⋮ Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems

This page was built for publication: Mathematics of Program Construction