Relating CASL with other specification languages: the institution level.

DOI10.1016/S0304-3975(01)00369-3zbMath1061.68106MaRDI QIDQ1853458

Till Mossakowski

Publication date: 21 January 2003

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

zbMATH Keywords

Specification languagesLogicsInstitutionsTranslations of logics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Foundations of logic programming in hybrid logics with user-defined sharing, CSP-CASL -- a new integration of process algebra and algebraic specification, Constructor-based observational logic, Algebraic-coalgebraic specification in CoCASL, Manipulating algebraic specifications with term-based and graph-based representations, Ultraproducts and possible worlds semantics in institutions, Quasi-Boolean encodings and conditionals in algebraic specification, Generalized Theoroidal Institution Comorphisms, Specifying with syntactic theory functors, What is a logic translation?, Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans, Institution-based encoding and verification of simple UML state machines in CASL/SPASS, Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally, CSP-CASL-Prover: A Generic Tool for Process and Data Refinement, An encoding of partial algebras as total algebras, Saturated models in institutions, HasCasl: integrated higher-order specification and program development, Abstract Beth definability in institutions, CASL: the Common Algebraic Specification Language.

Uses Software

• CoFI
• LARCH
• CASL
• OBJ3
• CafeOBJ

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