A characterization of passing compatibility for parameterized specifications

DOI10.1016/0304-3975(87)90054-5MaRDI QIDQ1090101zbMATH OpenOpenAlexFDO

Authors Fernando Orejas

Publication date 1987

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

Full work available at URL https://doi.org/10.1016/0304-3975(87)90054-5

zbMATH Keywords

semanticspushoutspersistencyfree constructionsExtension Lemmaparameter passing

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3936501
• Compositionality and compatibility of parameterization and parameter passing in specification languages
• scientific article; zbMATH DE number 8763
• scientific article; zbMATH DE number 3976306
• Publication:3034806

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3876564 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3936501 (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 3729433 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 3582349 (Why is no real title available?)
• Data Type Specification: Parameterization and the Power of Specification Techniques
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability

Cited in

(7)

• Compositionality and compatibility of parameterization and parameter passing in specification languages
• Specification of parameterized programs -- persistency revisited
• scientific article; zbMATH DE number 3936501 (Why is no real title available?)
• Compatibility of parameter passing and implementation of parameterized data types
• Proofs in parameterized specifications
• scientific article; zbMATH DE number 4133477 (Why is no real title available?)
• scientific article; zbMATH DE number 3976306 (Why is no real title available?)

This page was built for publication: A characterization of passing compatibility for parameterized specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1090101)