Compositionality and compatibility of parameterization and parameter passing in specification languages

DOI10.1017/S0960129500000748MaRDI QIDQ4856663zbMATH OpenOpenAlexFDO

Authors Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig

Publication date 28 May 1996

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129500000748

zbMATH Keywords

parameterized specificationsspecification languages

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• A characterization of passing compatibility for parameterized specifications
• Parameterized programming for compositional system specification
• Composition and refinement of specifications of parameterized data types
• Compositional specification in rewriting logic
• Functorial theory of parameterized specifications in a general specification framework
• Parameterisation for abstract structured specifications
• Compatibility of parameter passing and implementation of parameterized data types
• A compositional specification theory for component behaviours
• The semantic treatment of polymorphic specification languages

Cited in

(8)

• A characterization of passing compatibility for parameterized specifications
• scientific article; zbMATH DE number 1638642 (Why is no real title available?)
• Composition and refinement of specifications of parameterized data types
• Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#
• scientific article; zbMATH DE number 3936501 (Why is no real title available?)
• scientific article; zbMATH DE number 3976306 (Why is no real title available?)
• scientific article; zbMATH DE number 810100 (Why is no real title available?)
• Parameterized programming for compositional system specification

This page was built for publication: Compositionality and compatibility of parameterization and parameter passing in specification languages

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