Compositionality results for different types of parameterization and parameter passing in specification languages

DOI10.1007/3-540-56610-4_54zbMath1497.68296OpenAlexW2171009727MaRDI QIDQ5044722

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

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_54

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Functorial theory of parameterized specifications in a general specification framework ⋮ Detecting equivalence of modular specifications with categorical diagrams

Cites Work

• Parameter passing in algebraic specification languages
• Structured algebraic specifications: A kernel language
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Module algebra
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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