scientific article; zbMATH DE number 108368
From MaRDI portal
Publication:4023828
Cited in
(33)- Constructing the views framework
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Monads for behaviour
- Inter-deriving semantic artifacts for object-oriented programming
- Local and global models of physics and computation
- Aspects preserving properties
- The laws of programming unify process calculi
- Linear Structures for Concurrency in Probabilistic Programming Languages
- rCOS: defining meanings of component-based software architectures
- Functional semantics
- scientific article; zbMATH DE number 7121901 (Why is no real title available?)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
- Graded Hoare logic and its categorical semantics
- Code analysis for temporal predictability
- An operational semantics for TOOPLE: A statically-typed object-oriented programming language
- Linear domains and linear maps
- The next 700 Krivine machines
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Modular structural operational semantics
- Implicit propagation in structural operational semantics
- Nominative data with ordered set of names
- Deriving correctness properties of compiled code
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
- scientific article; zbMATH DE number 7453190 (Why is no real title available?)
- Full abstraction for the second order subset of an Algol-like language
- Model Checking Recursive Programs with Exact Predicate Abstraction
- Satisfiability in composition-nominative logics
- Inter-deriving Semantic Artifacts for Object-Oriented Programming
- A construction of sound semantic linguistic scales using 4-tuple representation of term semantics
- A Completely Verified Realistic Bootstrap Compiler
- ConGolog, a concurrent programming language based on the situation calculus
- Towards Effects in Mathematical Operational Semantics
- Tree dimension in verification of constrained Horn clauses
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 Q4023828)
