The following pages link to Laws of programming (Q3766810):
Displayed 39 items.
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- A theory of software product line refinement (Q714875) (← links)
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Verification conditions are code (Q855274) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- Combining angels, demons and miracles in program specifications (Q1199826) (← links)
- From algebra to operational semantics (Q1209325) (← links)
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
- Normal form approach to compiler design (Q1323320) (← links)
- Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Two finite specifications of a queue (Q1391797) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- Process algebra and conditional composition (Q1607116) (← links)
- An algebraic hardware/software partitioning algorithm (Q1613267) (← links)
- Program algebra for sequential code (Q1858432) (← links)
- Combining programs and state machines (Q1858434) (← links)
- Predicate transformers as power operations (Q1898816) (← links)
- Multilevel structured program designs and correctness proving (Q1910975) (← links)
- Discrete time process algebra (Q1914041) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- In praise of algebra (Q1941861) (← links)
- Semantic inheritance in unifying theories of programming (Q1941890) (← links)
- Linking theories in probabilistic programming (Q1961866) (← links)
- Sound refactorings (Q2266944) (← links)
- Computable processes and bisimulation equivalence (Q2365394) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- Splitting bisimulations and retrospective conditions (Q2500474) (← links)
- The laws of Occam programming (Q2640348) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- The Laws of Programming Unify Process Calculi (Q2908555) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis (Q3506397) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)
- Preface (Q5970649) (← links)