On the correctness of modular systems
From MaRDI portal
Publication:674009
DOI10.1016/0304-3975(94)00207-YzbMath0874.68065MaRDI QIDQ674009
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Cites Work
- Algebraic specification of modules and their basic interconnections
- On observational equivalence and algebraic specification
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Specifications in an arbitrary institution
- Algebraic implementation of abstract data types
- Proof of correctness of data representations
- Abstract and behaviour module specifications
- Institutions: abstract model theory for specification and programming
- A general framework for modular implementations of modular system specifications
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item