Structured theories and institutions

DOI10.1016/S0304-3975(03)00312-8zbMath1070.68090MaRDI QIDQ1884906

Francisco Durán, José Meseguer

Publication date: 27 October 2004

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

zbMATH Keywords

MaudeInstitutionsStructured theories

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

A language for configuring multi-level specifications ⋮ Development graphs -- proof management for structured specifications ⋮ Invariant-driven specifications in Maude ⋮ Heterogeneous Logical Environments for Distributed Specifications ⋮ Modularity of Ontologies in an Arbitrary Institution ⋮ Variants and satisfiability in the infinitary unification wonderland ⋮ Programming and symbolic computation in Maude

Uses Software

• CASL
• OBJ3
• CafeOBJ
• Maude
• Specware

Cites Work

• Specifications in an arbitrary institution
• Conditional rewriting logic as a unified model of concurrency
• Algebraic system specification and development. A survey and annotated bibliography
• Institutions for logic programming
• Maude: specification and programming in rewriting logic
• Institutions: abstract model theory for specification and programming
• 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