Semantic inheritance in unifying theories of programming

DOI10.1007/s00165-007-0051-6zbMath1259.68122OpenAlexW2026662965MaRDI QIDQ1941890

Yifeng 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

inheritancepredicative semanticsunifying theories of programmingfixpoint theoryhealthiness conditions

Mathematics Subject Classification ID

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

Uses Software

• Z

Cites Work

• Unnamed Item
• Probabilistic models for the guarded command language
• Parallel constructions of maximal path sets and applications to short superstrings
• Generic composition
• A lattice-theoretical fixpoint theorem and its applications
• Inheriting Laws for Processes with States
• Laws of programming
• Hierarchical Organisation of Predicate-Semantic Models

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