scientific article; zbMATH DE number 517333
From MaRDI portal
Publication:4282663
bunch theoryfunctional programmingimperative programmingparallel programmingrefinementspecifications
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
Cited in
(21)- Structured calculational proof
- The music of streams
- From Boolean algebra to unified algebra
- Unifying theories of reactive design contracts
- Automated verification of reactive and concurrent programs by calculation
- BGSL: an imperative language for specification and refinement of backtracking programs
- Non-terminating processes in the situation calculus
- Rhapsody in fractional
- Automated reasoning for probabilistic sequential programs with theorem proving
- Set-theoretic models of computations
- scientific article; zbMATH DE number 3995020 (Why is no real title available?)
- A theory of bunches
- Toward a theory of program repair
- A probability perspective
- Bunch theory: axioms, logic, applications and model
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
- Programming with quantum communication
- Optics
- Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming
- A practical theory of programming
- Verification conditions are code
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282663)
