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. 
View Paper
36 Citations
Highly Influential Citations
4
Background Citations
6
Methods Citations
9

36 Citations

Citation Type

Citation Type

Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
  • PDF
On Verifying Reactive Rules Using Rewriting Logic
On Combining Algebraic Specifications with First-Order Logic via Athena
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
An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents
  • 3
...
1
2
3
4
...