Towards heterogeneous specifications

MaRDI QIDQ2782496zbMATH OpenFDO

Authors Andrzej Tarlecki

Publication date 22 July 2002

zbMATH Keywords

combining institutionscombining logicsspecifications

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65)

Recommendations

• Foundations of heterogeneous specification.
• Heterogeneous Logical Environments for Distributed Specifications
• scientific article; zbMATH DE number 1397395
• scientific article; zbMATH DE number 1418360
• Institutions: abstract model theory for specification and programming

Cited in

(27)

• Semantic integration of heterogeneous software specifications.
• Logical systems for structured specifications.
• Relating CASL with other specification languages: the institution level.
• Observational logic, constructor-based logic, and their duality.
• Structured theories and institutions
• Interpolation in Grothendieck institutions
• Generalised graded interpolation
• Introducing H, an institution-based formal specification and verification language
• Constructor-based observational logic
• Ultraproducts and possible worlds semantics in institutions
• A heterogeneous characterisation of component-based system design in a categorical setting
• Heterogeneous Logical Environments for Distributed Specifications
• On the existence of translations of structured specifications
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• scientific article; zbMATH DE number 1397395 (Why is no real title available?)
• scientific article; zbMATH DE number 1418360 (Why is no real title available?)
• scientific article; zbMATH DE number 1418366 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Parchments for CafeOBJ logics
• Object oriented institutions to specify symbolic computation systems
• Institutional 2-cells and Grothendieck Institutions
• Combining specification formalisms in the `general logic' of multialgebras.
• Foundations of heterogeneous specification.
• Grothendieck inclusion systems
• (Heterogeneous) structured specifications in logics without interpolation
• On the fragility of interpolation
• Saturated models in institutions

This page was built for publication: Towards heterogeneous specifications

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