Property-oriented semantics of structured specifications

DOI10.1017/S0960129513000212zbMath1342.68218MaRDI QIDQ5740355

Andrzej Tarlecki, Donald Sannella

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)

Related Items (1)

The Foundational Legacy of ASL

Cites Work

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

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