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

Extension Lemmafree constructionsparameter passingpersistencypushoutssemantics

Mathematics Subject Classification ID

Data structures (68P05)

Review text

Semantics of parameterized specifications and parameter passing may be expressed, at the model level, by means of free constructions and, at the specification level, by means of pushouts. Passing compatibility establishes the equivalence of the two semantics. In this paper, we prove that passing compatibility is almost equivalent to persistency. That is, it is proved that, except for a trivial non-interesting case ('trivial inconsistency'), passing compatibility is equivalent to persistency. This is done both for standard and parameterized parameter passing. Moreover, a stronger form of the Extension Lemma is obtained.

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

• Data Type Specification: Parameterization and the Power of Specification Techniques
• 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?)
• 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)

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

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)