A characterization of passing compatibility for parameterized specifications

DOI10.1016/0304-3975(87)90054-5zbMath0621.68007OpenAlexW2033019614MaRDI QIDQ1090101

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

persistencysemanticspushoutsfree constructionsExtension Lemmaparameter passing

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

Proofs in parameterized specifications

Cites Work

• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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