Compatibility of parameter passing and implementation of parameterized data types

DOI10.1016/0304-3975(82)90121-9zbMath0553.68015OpenAlexW2058098777MaRDI QIDQ759479

Hartmut Ehrig, Hans-Joerg Kreowski

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1016/0304-3975(82)90121-9

zbMATH Keywords

algebraic specificationsimplementationparameterizationabstract data types

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Algebraic specification of modules and their basic interconnections, Union and actualization of module specifications: Some compatibility results, Algebraic implementation of abstract data types: a survey of concepts and new compositionality results, Compatibility of parameter passing and implementation of parameterized data types

Cites Work

• Compatibility of parameter passing and implementation of parameterized data types
• Final algebra semantics and data type extensions
• Algebraic implementation of abstract data types
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item