Amalgamation in the semantics of CASL
From MaRDI portal
Publication:1770431
DOI10.1016/j.tcs.2004.09.037zbMath1070.68094OpenAlexW1993365229MaRDI QIDQ1770431
Till Mossakowski, Piotr Hoffman, Lutz Schröder, Bartek Klin, Andrzej Tarlecki
Publication date: 6 April 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.09.037
Related Items (5)
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Development graphs -- proof management for structured specifications ⋮ Order-Sorted Parameterization and Induction ⋮ Modularity of Ontologies in an Arbitrary Institution ⋮ Observational interpretation of Casl specifications
Uses Software
Cites Work
- Architectural specifications in CASL
- Generalized interpolation in CASL
- Structured algebraic specifications: A kernel language
- Specifications in an arbitrary institution
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- CASL: the Common Algebraic Specification Language.
- Logical systems for structured specifications.
- Module algebra
- A framework for defining logics
- Institutions: abstract model theory for specification and programming
- Interpolation and compactness in categories of pre-institutions
- Some Results on Locally Finitely Presentable Categories
- Categorical concepts for parameterized partial specifications
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- 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: Amalgamation in the semantics of CASL
