CafeOBJ: Logical Foundations and Methodologies
Razvan Diaconescu ; Kokichi Futatsugi ; Kazuhiro Ogata
Computing and Informatics, Tome 28 (2012) no. 1, / Harvested from Computing and Informatics
Text on Computing and Informatics
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.
Publié le : 2012-01-26
Classification:  CafeObj; algebraic specification; institutions; abstract machines 
@article{cai457,
     author = {Razvan Diaconescu and Kokichi Futatsugi and Kazuhiro Ogata},
     title = {CafeOBJ: Logical Foundations and Methodologies},
     journal = {Computing and Informatics},
     volume = {28},
     number = {1},
     year = {2012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai457}
}

Razvan Diaconescu; Kokichi Futatsugi; Kazuhiro Ogata. CafeOBJ: Logical Foundations and Methodologies. Computing and Informatics, Tome 28 (2012) no. 1, . http://gdmltest.u-ga.fr/item/cai457/