scientific article; zbMATH DE number 517333
From MaRDI portal
Publication:4282663
zbMath0793.68002MaRDI QIDQ4282663
Publication date: 23 February 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
refinementparallel programmingfunctional programmingspecificationsimperative programmingbunch theory
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (13)
From Boolean algebra to unified algebra ⋮ Verification conditions are code ⋮ Non-terminating processes in the situation calculus ⋮ Toward a theory of program repair ⋮ Automated reasoning for probabilistic sequential programs with theorem proving ⋮ A probability perspective ⋮ Unifying theories of reactive design contracts ⋮ Automated verification of reactive and concurrent programs by calculation ⋮ Structured calculational proof ⋮ Set-Theoretic Models of Computations ⋮ BGSL: an imperative language for specification and refinement of backtracking programs ⋮ Rhapsody in fractional ⋮ The music of streams
This page was built for publication:
