Up Next
Go up to Top
Go forward to Implementation on CafeOBJ

The Vocabulary system

The system is independent of the underlying alphabet, so it should be possible to instantiate an English-Chinese or Russian-German dictionary without any modification of the specification.

  • Functionalities of the vocabulary system
  • Topdown analysis
  • Specification on lists, pairs and strings
  • The global system specification

  • Hong Gu (Hong.Gu@risc.uni-linz.ac.at),
    Christian Mittermaier (cm@ooenet.at),
    Igor Rents (Igor.Rents@risc.uni-linz.ac.at)
    February 10, 1999

    Up Next