Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
From MaRDI portal
Publication:2198135
Recommendations
Cites work
- A Brief Overview of HOL4
- A calculus of durations
- A lattice-theoretical fixpoint theorem and its applications
- A UTP approach for rTiMo
- A UTP semantics for \textsf{Circus}
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- Advanced features of duration calculus and their applications in sequential hybrid programs
- An algebraic approach to the VERILOG programming.
- Duration calculus: Logical foundations
- Formal certification of a compiler back-end or: programming a compiler with a proof assistant
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 2080001 (Why is no real title available?)
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Isabelle/UTP: a mechanised theory engineering framework
- Linking theories in probabilistic programming
- Mechanized semantics for the clight subset of the C language
- ModuRes: a Coq library for modular reasoning about concurrent higher-order imperative programming languages
- Normal form approach to compiler design
- Observation-oriented semantics for calculus of wireless systems
- On the formalization of the modal -calculus in the calculus of inductive constructions
- Probabilistic models for the guarded command language
- Proof assistants for natural language semantics
- rCOS: a refinement calculus of object systems
- Relating Event and Trace Semantics of Hardware Description Languages
- Temporal verification of reactive systems: response
- The safety-critical Java memory model formalised
- Unifying theories in ProofPower-Z
- Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5--7, 2006. Revised selected papers.
- Unifying theories of programming. Fourth international symposium, UTP 2012, Paris, France, August 27--28, 2012. Revised selected papers
- Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8--10, 2008. Revised selected papers
- Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15--16, 2010. Proceedings
- UTCP: Compositional Semantics for Shared-Variable Concurrency
- UTPCalc -- a calculator for UTP predicates
Cited in
(8)- Reasoning about iteration and recursion uniformly based on big-step semantics
- Towards a UTP semantics for Modelica
- Generating denotational semantics from algebraic semantics for event-driven system-level language
- A denotational semantics for a process-based simulation language
- Jifeng He at Oxford and beyond: an appreciation
- Applying formal verification to an open-source real-time operating system
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency
- Denotational semantics and its algebraic derivation for an event-driven system-level language
Describes a project that uses
Uses Software
This page was built for publication: Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2198135)
