Laws of programming
From MaRDI portal
Recommendations
Cited in
(87)- Combining angels, demons and miracles in program specifications
- From algebra to operational semantics
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
- Normal form approach to compiler design
- Process algebra with guards: Combining hoare logic with process algebra
- A relation algebraic model of robust correctness
- Relation-algebraic semantics
- Two finite specifications of a queue
- Parallel composition and decomposition of specifications
- Process algebra and conditional composition
- An algebraic hardware/software partitioning algorithm
- A UTP approach for rTiMo
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- Program derivation by fixed point computation
- Program algebra for sequential code
- Combining programs and state machines
- Predicate transformers as power operations
- Multilevel structured program designs and correctness proving
- Discrete time process algebra
- Towards reasoning about Hoare relations
- In praise of algebra
- Semantic inheritance in unifying theories of programming
- Linking theories in probabilistic programming
- Unifying theories of reactive design contracts
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Automated verification of reactive and concurrent programs by calculation
- Axiomatizing recursion-free, regular monitors
- Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP
- Sound refactorings
- On the relation between concurrent separation logic and concurrent Kleene algebra
- Computable processes and bisimulation equivalence
- Matrix Code
- Belnap's logic and conditional composition
- Splitting bisimulations and retrospective conditions
- Nondeterministic semantics of compound diagrams
- The laws of Occam programming
- Algebraic program semantics for supercomputing
- Generic models of the laws of programming
- Towards a modeling language for cyber-physical systems
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity
- The laws of programming unify process calculi
- Laws of programming for references
- A new roadmap for linking theories of programming
- UTP semantics for rTiMo
- Developments in concurrent Kleene algebra
- Data refinement with probability in mind
- Unifying heterogeneous state-spaces with lenses
- Recursion equations as a programming language
- Generalised rely-guarantee concurrency: an algebraic foundation
- Evaluation trees for proposition algebra
- Algebra unifies operational calculi
- Latest News about Demonic Algebra with Domain
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis
- Invariants and well-foundedness in program algebra
- scientific article; zbMATH DE number 3917681 (Why is no real title available?)
- scientific article; zbMATH DE number 3938525 (Why is no real title available?)
- A New Programming Technique Derived from Dijkstra’s Methodology
- scientific article; zbMATH DE number 4004098 (Why is no real title available?)
- A generalized iterative construct and its semantics
- scientific article; zbMATH DE number 1088217 (Why is no real title available?)
- Process algebra with four-valued logic
- Unifying Semantics for Concurrent Programming
- Definite descriptions and Dijkstra's odd powers of odd integers problem
- Constraining interference in an object-based design method
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses
- Calculational derivation of a counter with bounded response time and bounded power dissipation
- Procedural operators considered as fundamental programming devices
- scientific article; zbMATH DE number 3894446 (Why is no real title available?)
- Interfaces between languages for communicating systems
- Kleene algebra with observations
- Bochvar-McCarthy logic and process algebra
- Preface
- An elementary and unified approach to program correctness
- Jifeng He at Oxford and beyond: an appreciation
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Specifying and reasoning about shared-variable concurrency
- A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency
- Logical analysis of demonic nondeterministic programs
- The relational machine calculus
- A theory of software product line refinement
- Provably correct derivation of algorithms using FermaT
- rCOS: a refinement calculus of object systems
- Verification conditions are code
- Preferential choice and coordination conditions
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Command algebras, recursion and program transformation
This page was built for publication: Laws of programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3766810)
