H ? « ‹ ← → › »

Language peer sets for CafeObj:
Japan↑
Japan/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

CafeObj(ID:3677/caf003)

OBJ for the CAFE Networked Environment 

alternate simple view
Country: Japan
Designed 1997

OBJ for the CAFE Networked Environment

algebraic specification and programming language

Kokichi Futatsugi, Japan Advanced Institute of Science and Technology

As a direct successor of OBJ, it inherits all its features(flexible mix-fix syntax, powerful typing system with sub-types, and sophisticated module composition system featuring various kinds of imports, parameterised modules, views for instantiating the parameters, module expressions, etc.) but it also implements new paradigms such as rewriting logic and hidden algebra, as well as their combination.

CafeOBJ has state-of-art rigorous logical semantics based on institutions. The CafeOBJ cube shows the structure of the various logics underlying the combination of the various paradigms implemented by the language.

The execution of CafeOBJ in compiled mode is based on a rewriting machine that gives CafeOBJ the same efficiency as modern functional programming systems

Structures:
Related languages
OBJ3 → CafeObj   Evolution of
References:
  • K. Futatsugi, A. Nakagawa (1997) K. Futatsugi, A. Nakagawa "An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks" p170 Abstract Online copy
          in [Proceedings] (1997) 1st International Conference on Formal Engineering Methods (ICFEM '97) November 12 - 14, 1997 Hiroshima, JAPAN
  • Futatsugi, Kokichi; Diaconescu, Razvan (1998) Futatsugi, Kokichi; Diaconescu, Razvan "CafeOBJ Report : The Language, Proof Techniques & Methodologies for Object-Oriented Algebraic Specification" (AMAST Series in Computing, Vol. 6) Picture: Abstract Buy at Amazon Buy at Amazon UK
          in [Proceedings] (1997) 1st International Conference on Formal Engineering Methods (ICFEM '97) November 12 - 14, 1997 Hiroshima, JAPAN
  • Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999
          in [Proceedings] (1997) 1st International Conference on Formal Engineering Methods (ICFEM '97) November 12 - 14, 1997 Hiroshima, JAPAN
  • Kazuhiro Ogata and Kokichi Futatsugi (2000) Kazuhiro Ogata and Kokichi Futatsugi "Operational Semantics of Rewriting with the On-demand Evaluation Strategy" online copy Abstract
          in [ACM] (2000) Proceedings of the 2000 ACM Symposium on Applied computing SAC'2000 Villa Olmo, Como, Italy
  • Ogata, K.; Futatsugi, K. (2001) Ogata, K.; Futatsugi, K. "Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ" pp185 Abstract Extract: Introduction
          in (2001) Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01) November 2001
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder