Documents

• CafeOBJ manual (manual for system ver.1.4)
• CafeOBJ Report containing the definition of the language, by Kokichi Futatsugi and Razvan Diaconescu. To appear in 1998 as book in the AMAST series at World Scientific.
• Logical Semantics of CafeOBJ: by Razvan Diaconescu and Kokichi Futatsugi.
  Research Report, IS-RR-96-0024S,JAIST,1996. New revised version submitted to publication.

• An Overview of CAFE Specification Environment
  -- An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks -- .
  Kokichi Futatsugi and Ataru Nakagawa, First International Conference on Formal Engineering methods ,Hiroshima, Japan, Nov, 1997.
• Concurrent Object Composition in CafeOBJ.
  Shusaku Iida, Michihiro Matsumoto, Razvan Diaconescu, Kokichi Futatsugi and Dorel Lucanu. JAIST Technical Report IS-RR-98-0009S.
• Behavioural Rewriting Logic: semantic foundations and proof theory.
  Razvan Diaconescu, submitted to publication.
• TRAM: An Abstract Machine for Order-Sorted Conditional Term Rewriting Systems.
  Kazuhiro Ogata and Kokichi Futatsugi. RTA-97, LNCS 1232.
• Extra Theory Morphisms for Institutions: logical semantics for multiparadigm languages.
  Razvan Diaconescu. To appear in J. of Applied Categorical Structures.
• Behavioural Coherence in Object-Oriented Algebraic Specification.
  Razvan Diaconescu. Technical Report IS-RR-98-0017F, Japan Advanced Institute of Science and Technology. 1998