• DOI:10.1016/S0304-3975(01)00361-9
Corpus ID: 9131923

Logical foundations of CafeOBJ

@article{Diaconescu2002LogicalFO,
  title={Logical foundations of CafeOBJ},
  author={R. Diaconescu and K. Futatsugi},
  journal={Theor. Comput. Sci.},
  year={2002},
  volume={285},
  pages={289-318}
}

• R. Diaconescu, K. Futatsugi
• Published 2002
• Computer Science
• Theor. Comput. Sci.

This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adds to it several new primitive paradigms such as behavioural concurrent specification and rewriting logic.We first give a concise overview of CafeOBJ. Then we focus on the actual logical foundations of the language at two different levels: basic specification and structured specification, including also the definition of the CafeOBJ institution… Expand

View via Publisher

doi.org

Save to Library

Create Alert

Cite

Launch Research Feed