Introducing CafeOBJ (2) : Syntax and Semantics

DOI 1 Citations 4 References
  • NAKAMURA Masaki
    Graduate School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
  • FUTATSUGI Kokichi
    Graduate School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
  • OGATA Kazuhiro
    Graduate School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

Bibliographic Information

Other Title
  • ＣａｆｅＯＢＪ入門（２）構文と意味
  • チュートリアル CafeOBJ入門(2)構文と意味
  • チュートリアル CafeOBJ ニュウモン 2 コウブン ト イミ

Search this article

Abstract

CafeOBJ algebraic specification language 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, etc. CafeOBJ specifications denote algebras. The algebra is a universal modeling framework including useful models like abstract data types and abstract machines, and allows us to describe and verify formal specifications in a unified framework. In this paper, the syntax and semantics of CafeOBJ algebraic specification language are explained. The use of CafeOBJ processor also is explained briefly by examples of parsing, executing, and verifying specification.

Journal

  • Computer Software

    Computer Software 25 (2), 14-27, 2008

    Japan Society for Software Science and Technology

Citations (1)*help

See more

References(4)*help

See more

Related Projects

See more

Details

  • CRID
    1390001204738666496
  • NII Article ID
    110006664763
  • NII Book ID
    AN10075819
  • DOI
    10.11309/jssst.25.2_14
  • NDL BIB ID
    9499435
  • ISSN
    02896540
  • Text Lang
    ja
  • Data Source
    • JaLC
    • NDL
    • CiNii Articles
    • KAKEN
  • Abstract License Flag
    Disallowed

Report a problem

Back to top