Logical foundations of CafeOBJ
type: Item
instance of: scholarly article
title: Logical foundations of CafeOBJ
zbMATH Open document ID: 1001.68079
DOI: 10.1016/S0304-3975(01)00361-9
author: Răzvan Diaconescu
author: Kokichi Futatsugi
published in: Theoretical Computer Science
publication date: 2002-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1780623
zbMATH Keywords: algebraic specification
zbMATH Keywords: CafeOBJ
zbMATH Keywords: institutions
zbMATH Keywords: behavioural specification
describes a project that uses: CafeOBJ
describes a project that uses: Maude
describes a project that uses: OBJ3
MaRDI profile type: Publication
cites work: Q3906394
cites work: Q4222853
cites work: Weak inclusion systems
cites work: Completeness of category-based equational deduction
cites work: Q4222860
cites work: Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
cites work: Category-based constraint logic
cites work: CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
cites work: Q4520814
cites work: Institutions: abstract model theory for specification and programming
cites work: An Oxford survey of order sorted algebra
cites work: Q4942101
cites work: A hidden agenda
cites work: Equality, types, modules, and (why not?) generics for logic programming
cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
cites work: Constructor-based observational logic
cites work: New foundations for rewriting logic
cites work: Q4215784
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3839051
cites work: Q3687683
cites work: Indexed categories and their applications
cites work: Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
Recommended article: Q4680190
Recommended article: Q4409149
Recommended article: Principles of proof scores in CafeOBJ
Recommended article: Parchments for CafeOBJ Logics
Recommended article: Q4418593
Recommended article: A logical framework for deductive objects
Recommended article: Q4428876
Recommended article: Q4222983
Recommended article: CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
description: scientific article; zbMATH DE number 1780623