Semantic inheritance in unifying theories of programming

DOI10.1007/S00165-007-0051-6MaRDI QIDQ1941890zbMATH OpenOpenAlexFDO

Authors Yi F. Chen

Publication date 22 March 2013

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-007-0051-6

zbMATH Keywords

fixpoint theoryhealthiness conditionsinheritancepredicative semanticsunifying theories of programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Mechanical reasoning about families of UTP theories
• Unifying Recursion in Partial, Total and General Correctness
• Mechanical Reasoning about Families of UTP Theories
• A Theory of Pointers for the UTP
• Lazy UTP

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• Generic composition
• Hierarchical Organisation of Predicate-Semantic Models
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• Inheriting Laws for Processes with States
• Laws of programming
• Parallel constructions of maximal path sets and applications to short superstrings
• Probabilistic models for the guarded command language

Cited in

(2)

• Synthesized and inherited functions. A new computational model for syntax-directed semantics
• Modeling inheritance as coercion in a symbolic computation system

Describes a project that uses

Uses Software

• Z

This page was built for publication: Semantic inheritance in unifying theories of programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1941890)