Transformer semantics

MaRDI QIDQ5974121swMATHFDO

Authors Georg Struth

Publication date 11 December 2018

Official website https://www.isa-afp.org/entries/Transformer_Semantics.html

Cites work

• A recipe for state-and-effect triangles
• Abstraction, Refinement and Proof for Probabilistic Systems
• Algebra of monotonic Boolean transformers
• Automated Reasoning in Higher-Order Regular Algebra
• Building program construction and verification tools from algebraic principles
• Convolution algebras: relational convolution, generalised modalities and incidence algebras
• From types to sets by local type definitions in higher-order logic
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Internal axioms for domain semirings
• Minimally generated Boolean algebras
• Quantales, observational logic and process semantics
• Refinement Calculus
• Taming multirelations

Cited in

(7)

• Ordinary Differential Equations
• Kleene Algebra
• Algebraic_VCs
• KAD
• Differential_Game_Logic
• Quantales
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL

This page was built for software: Transformer semantics