Principles of proof scores in CafeOBJ
type: Item
instance of: scholarly article
title: Principles of proof scores in CafeOBJ
zbMATH Open document ID: 1253.68220
author: Kokichi Futatsugi
author: Daniel Găină
author: Kazuhiro Ogata
published in: Theoretical Computer Science
publication date: 2013-01-07T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6122468
zbMATH Keywords: algebraic specifications
zbMATH Keywords: theorem proving
zbMATH Keywords: term rewriting
zbMATH Keywords: proof scores
zbMATH Keywords: CafeOBJ
describes a project that uses: ACL2
describes a project that uses: Isabelle/HOL
describes a project that uses: CafeOBJ
describes a project that uses: ITP
describes a project that uses: OBJ3
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.07.041
OpenAlex ID: W2044923579
cites work: CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
cites work: Logical foundations of CafeOBJ
cites work: Q4409149
cites work: Formal Methods for Open Object-Based Distributed Systems
cites work: Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
cites work: Constructor-Based Institutions
cites work: Institutions: abstract model theory for specification and programming
cites work: Q3839051
cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
cites work: Specifications in an arbitrary institution
cites work: Institution-independent model theory
cites work: Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
cites work: Q3032225
cites work: Q5762080
cites work: Q3737481
cites work: Logical systems for structured specifications.
cites work: Structural induction in institutions
cites work: Twenty Years of Rewriting Logic
cites work: Coverset Induction with Partiality and Subsorts: A Powerlist Case Study
cites work: Isabelle/HOL. A proof assistant for higher-order logic
DOI: 10.1016/J.TCS.2012.07.041
description: scientific article; zbMATH DE number 6122468