Property-oriented semantics of structured specifications

DOI10.1017/S0960129513000212MaRDI QIDQ5740355zbMATH OpenFDO

Authors Donald Sannella, Andrzej Tarlecki

Publication date 26 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129513000212

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• An axiomatic approach to structuring specifications
• scientific article; zbMATH DE number 1368957
• Logical systems for structured specifications.
• A relatively complete calculus for structured heterogeneous specifications
• On the algebra of structured specifications

Cites work

• A simple algebraic proof of the equational interpolation theorem
• Composing hidden information modules over inclusive institutions
• Development graphs -- proof management for structured specifications
• Institution morphisms
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Logical systems for structured specifications.
• Module algebra
• Proof systems for structured specifications with observability operators
• Specifications in an arbitrary institution
• Structured theory presentations and logic representations
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited in

(5)

• Pragmatic Formal Specification of System Properties by Tables
• (Heterogeneous) structured specifications in logics without interpolation
• A relatively complete calculus for structured heterogeneous specifications
• The foundational legacy of ASL
• On the fragility of interpolation

This page was built for publication: Property-oriented semantics of structured specifications

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