Back to Search Start Over

CafeOBJ: Logical Foundations and Methodologies

Authors :
Razvan Diaconescu
Kokichi Futatsugi
Kazuhiro Ogata
Source :
COMPUTING AND INFORMATICS; Vol 22, No 3-4 (2003): Computing and Informatics; 257-283
Publication Year :
2012
Publisher :
COMPUTING AND INFORMATICS, 2012.

Abstract

CafeOBJ is an executable industrial strength multi-logic algebraic specification language which is a modern successor of OBJ and incorporates several new algebraic specification paradigms. In this paper we survey its logical foundations and present some of its methodologies.

Subjects

Subjects :
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
CafeObj
algebraic specification
institutions
abstract machines
ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION

Details

Language :
English
ISSN :
13359150
Database :
OpenAIRE
Journal :
COMPUTING AND INFORMATICS
Accession number :
edsair.issn13359150..931e41ec8e264660dc77102d50082362

Tools

Authors Abstract Subjects Details