Compatibility of parameter passing and implementation of parameterized data types

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

• scientific article; zbMATH DE number 3976306
• scientific article; zbMATH DE number 3936501
• scientific article; zbMATH DE number 4049006
• scientific article; zbMATH DE number 33425
• A characterization of passing compatibility for parameterized specifications

zbMATH Keywords

implementationparameterizationabstract data typesalgebraic specifications

Mathematics Subject Classification ID

Data structures (68P05)

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)