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