Mathematics of Program Construction
From MaRDI portal
Publication:5313090
DOI10.1007/b98756zbMath1106.68344OpenAlexW2492557863MaRDI QIDQ5313090
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
Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Distributive and completely distributive lattice extensions of ordered sets ⋮ Modelling higher-order dual nondeterminacy ⋮ Alternating states for dual nondeterminism in imperative programming ⋮ Dual unbounded nondeterminacy, recursion, and fixpoints ⋮ Angelicism in the Theory of Reactive Processes
This page was built for publication: Mathematics of Program Construction
