Corpus ID: 3696793

CafeOBJ: Logical Foundations and Methodologies

@article{Diaconescu2003CafeOBJLF,
  title={CafeOBJ: Logical Foundations and Methodologies},
  author={R. Diaconescu and K. Futatsugi and K. Ogata},
  journal={Comput. Artif. Intell.},
  year={2003},
  volume={22},
  pages={257-283}
}
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. 
36 Citations
State Machines as Inductive Types
  • 4
Towards a Combination of CafeOBJ and PAT
  • 1
  • Highly Influenced
  • PDF
Foundations of logic programming in hybrid logics with user-defined sharing
  • 6
  • Highly Influenced
  • PDF
Rewriting logic bibliography by topic: 1990-2011
  • 12
  • PDF
An Institution for Imperative RSL Specifications
  • A. Haxthausen
  • Computer Science
  • Specification, Algebra, and Software
  • 2014
  • 1
From ASN.1 into CafeOBJ: Some First Steps
  • 3
...
1
2
3
4
...