Amalgamation in the semantics of CASL
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 1617302 (Why is no real title available?)
- scientific article; zbMATH DE number 1693525 (Why is no real title available?)
- scientific article; zbMATH DE number 1693526 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 1189286 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 517385 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1107619 (Why is no real title available?)
- scientific article; zbMATH DE number 1113861 (Why is no real title available?)
- scientific article; zbMATH DE number 2079671 (Why is no real title available?)
- scientific article; zbMATH DE number 2079678 (Why is no real title available?)
- scientific article; zbMATH DE number 1754650 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 217097 (Why is no real title available?)
- scientific article; zbMATH DE number 1368954 (Why is no real title available?)
- scientific article; zbMATH DE number 1929923 (Why is no real title available?)
- scientific article; zbMATH DE number 1834668 (Why is no real title available?)
- scientific article; zbMATH DE number 958048 (Why is no real title available?)
- A framework for defining logics
- Architectural specifications in CASL
- CASL: the Common Algebraic Specification Language.
- Categorical concepts for parameterized partial specifications
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Generalized interpolation in CASL
- Institutions: abstract model theory for specification and programming
- Interpolation and compactness in categories of pre-institutions
- Logical systems for structured specifications.
- Module algebra
- Some Results on Locally Finitely Presentable Categories
- Specifications in an arbitrary institution
- Structured algebraic specifications: A kernel language
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Types and programing languages
Cited in
(8)- Order-Sorted Parameterization and Induction
- Development graphs -- proof management for structured specifications
- Modularity of ontologies in an arbitrary institution
- scientific article; zbMATH DE number 1693525 (Why is no real title available?)
- scientific article; zbMATH DE number 1754650 (Why is no real title available?)
- scientific article; zbMATH DE number 1834668 (Why is no real title available?)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- Observational interpretation of Casl specifications
This page was built for publication: Amalgamation in the semantics of CASL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770431)