Property-oriented semantics of structured specifications

DOI10.1017/S0960129513000212zbMATH Open1342.68218MaRDI QIDQ5740355FDOQ5740355

Authors Donald Sannella, Andrzej Tarlecki

Publication date 26 July 2016

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

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

(4)

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

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)