Compatibility of parameter passing and implementation of parameterized data types
From MaRDI portal
Publication:759479
DOI10.1016/0304-3975(82)90121-9zbMATH Open0553.68015OpenAlexW2058098777MaRDI QIDQ759479FDOQ759479
Authors: Hartmut Ehrig, Hans-Jörg 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
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Data Type Specification: Parameterization and the Power of Specification Techniques
- Final algebra semantics and data type extensions
- Title not available (Why is that?)
- Algebraic implementation of abstract data types
- Title not available (Why is that?)
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
- Compatibility of parameter passing and implementation of parameterized data types
Cited In (8)
- Union and actualization of module specifications: Some compatibility results
- Compositionality and compatibility of parameterization and parameter passing in specification languages
- Algebraic specification of modules and their basic interconnections
- Title not available (Why is that?)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
- Title not available (Why is that?)
- Compatibility of parameter passing and implementation of parameterized data types
- Title not available (Why is that?)
This page was built for publication: Compatibility of parameter passing and implementation of parameterized data types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q759479)