Compatibility of parameter passing and implementation of parameterized data types

DOI10.1016/0304-3975(82)90121-9MaRDI QIDQ759479zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

implementationparameterizationabstract data typesalgebraic specifications

Mathematics Subject Classification ID

Data structures (68P05)

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

Cites work

• scientific article; zbMATH DE number 3821094 (Why is no real title available?)
• scientific article; zbMATH DE number 3823106 (Why is no real title available?)
• scientific article; zbMATH DE number 3714885 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3714981 (Why is no real title available?)
• scientific article; zbMATH DE number 3716762 (Why is no real title available?)
• scientific article; zbMATH DE number 3729433 (Why is no real title available?)
• scientific article; zbMATH DE number 3737004 (Why is no real title available?)
• scientific article; zbMATH DE number 3754009 (Why is no real title available?)
• scientific article; zbMATH DE number 3774870 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 3787995 (Why is no real title available?)
• scientific article; zbMATH DE number 3529404 (Why is no real title available?)
• scientific article; zbMATH DE number 3594631 (Why is no real title available?)
• scientific article; zbMATH DE number 3604327 (Why is no real title available?)
• scientific article; zbMATH DE number 3628362 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Algebraic implementation of abstract data types
• Compatibility of parameter passing and implementation of parameterized data types
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Final algebra semantics and data type extensions
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability

Cited in

(8)

• Union and actualization of module specifications: Some compatibility results
• Algebraic specification of modules and their basic interconnections
• Compositionality and compatibility of parameterization and parameter passing in specification languages
• scientific article; zbMATH DE number 33425 (Why is no real title available?)
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
• scientific article; zbMATH DE number 3936501 (Why is no real title available?)
• Compatibility of parameter passing and implementation of parameterized data types
• scientific article; zbMATH DE number 3976306 (Why is no real title available?)

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)