Amalgamation in the semantics of CASL

DOI10.1016/J.TCS.2004.09.037MaRDI QIDQ1770431zbMATH OpenOpenAlexFDO

Authors Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman

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

zbMATH Keywords

CASLAlgebraic specificationAmalgamationInstitutionsArchitectural specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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

Describes a project that uses

Uses Software

• ML
• CASL

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)