CafeOBJ: Logical Foundations and Methodologies

CafeOBJ: Logical Foundations and Methodologies (2003)

by Razvan Diaconescu , Kokichi Futatsugi , Kazuhiro Ogata

Venue:	Computing and Informatics
Citations:	5 - 0 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	CafeOBJ: Logical Foundations and Methodologies	user correction - Legacy Corrections
AUTHOR NAME	Razvan Diaconescu	user correction - Legacy Corrections
AUTHOR NAME	Kokichi Futatsugi	user correction - Legacy Corrections
AUTHOR AFFIL	Graduate School of Information Science; Japan Advanced Institute of Science and Technology (JAIST)	user correction - Legacy Corrections
AUTHOR NAME	Kazuhiro Ogata	user correction - Legacy Corrections
AUTHOR AFFIL	NEC Software Hokuriku, Ltd. / JAIST	user correction - Legacy Corrections
ABSTRACT	CafeOBJ is an executable industrial strength multi-logic algebraic speci cation language which is a modern successor of OBJ and incorporates several new algebraic speci cation paradigms.	user correction - Legacy Corrections
YEAR	2003	INFERENCE
VENUE	Computing and Informatics	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
VOLUME	22	INFERENCE
CITATIONS	48 found	ParsCit 1.0