Property-oriented semantics of structured specifications
From MaRDI portal
Publication:5740355
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)
Related Items
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