Unifying initial and loose semantics of parameterized specifications in an arbitrary institution

DOI10.1007/3-540-53982-4_7MaRDI QIDQ2736338zbMATH OpenFDO

Authors Hubert Baumeister

Publication date 29 August 2001

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

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Compositionality and compatibility of parameterization and parameter passing in specification languages
• Parameterisation for abstract structured specifications
• Functorial theory of parameterized specifications in a general specification framework
• Specification semantics
• Institutions: An abstract framework for formal specifications

Cited in

(8)

• Functorial theory of parameterized specifications in a general specification framework
• Structured theories and institutions
• Specifications in an arbitrary instituion with symbols
• scientific article; zbMATH DE number 4078762 (Why is no real title available?)
• Parameterisation for abstract structured specifications
• Compositionality results for different types of parameterization and parameter passing in specification languages
• Relations as abstract datatypes: An institution to specify relations between algebras
• An Institution for Imperative RSL Specifications

This page was built for publication: Unifying initial and loose semantics of parameterized specifications in an arbitrary institution

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