Functorial theory of parameterized specifications in a general specification framework

DOI10.1016/0304-3975(94)90110-4zbMath0829.68086OpenAlexW1996388638MaRDI QIDQ1346622

Hartmut Ehrig, Martin Grosse-Rhode

Publication date: 6 April 1995

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90110-4

zbMATH Keywords

algebraic specificationsfunctorial semanticsstructural aspects of specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (4)

A decade of TAPSOFT ⋮ Institutions for SQL database schemas and datasets ⋮ Pragmatic and semantic aspects of a module concept for graph transformation systems ⋮ A Diagrammatic Logic for Object-Oriented Visual Modeling

Cites Work

• Combining data type and recursive process specifications using projection algebras
• Parameter passing in algebraic specification languages
• Structured algebraic specifications: A kernel language
• Algebraic specification of modules and their basic interconnections
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Parallel realization of systems, using factorizations and quotients in categories
• Indexed categories and their applications
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Fibered categories and the foundations of naive category theory
• On specifications, theories, and models with higher types
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Abstract and behaviour module specifications
• Institutions: abstract model theory for specification and programming
• Compositionality results for different types of parameterization and parameter passing in specification languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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: Functorial theory of parameterized specifications in a general specification framework