Compatibility problems in the development of algebraic module specifications

DOI10.1016/0304-3975(90)90115-XzbMath0717.68068MaRDI QIDQ2638799

Michael Löwe, Horst Hansen, Hartmut Ehrig, Werner Fey, Dean Jacobs, Francesco Parisi-Presicce

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

algebraic module specifications

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Abstract data types; algebraic specification (68Q65) Functor categories, comma categories (18A25)

Related Items

Proof versus formalization

Uses Software

• Modula

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