Relating CASL with other specification languages: the institution level.
From MaRDI portal
Publication:1853458
DOI10.1016/S0304-3975(01)00369-3zbMath1061.68106MaRDI QIDQ1853458
Publication date: 21 January 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
CASL: the Common Algebraic Specification Language., Manipulating algebraic specifications with term-based and graph-based representations, CSP-CASL -- a new integration of process algebra and algebraic specification, Constructor-based observational logic, Algebraic-coalgebraic specification in CoCASL, Ultraproducts and possible worlds semantics in institutions, Abstract Beth definability in institutions
Uses Software
Cites Work
- Free objects and equational deduction for partial conditional specifications
- Equational type logic
- Report on the Larch shared language
- On the existence of free models in abstract algebraic institutions
- Specifications in an arbitrary institution
- Conditional rewriting logic as a unified model of concurrency
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- May I borrow your logic? (Transporting logical structures along maps)
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
- CASL: the Common Algebraic Specification Language.
- Logical systems for structured specifications.
- Pushout complements for partly total algebras
- Module algebra
- Axioms for abstract model theory
- Institutions: abstract model theory for specification and programming
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item