Compatibility problems in the development of algebraic module specifications
From MaRDI portal
Publication:2638799
DOI10.1016/0304-3975(90)90115-XzbMath0717.68068MaRDI QIDQ2638799
Hartmut Ehrig, Michael Löwe, Francesco Parisi-Presicce, Dean Jacobs, Werner Fey, Horst Hansen
Publication date: 1990
Published in: Theoretical Computer Science (Search for Journal in Brave)
18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
68Q65: Abstract data types; algebraic specification
18A25: Functor categories, comma categories
Related Items
Uses Software
Cites Work
- The Munich project CIP. Volume I: The wide spectrum language CIP-L
- Report on the Larch shared language
- Algebraic specification of modules and their basic interconnections
- Union and actualization of module specifications: Some compatibility results
- Data Type Specification: Parameterization and the Power of Specification Techniques
- F‐Morphismen
- Realization is universal
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item