Prev Up Next
Go backward to The Vocabulary system
Go up to Top
Go forward to Appendix

Implementation on CafeOBJ

-- An Extended Vocabulary System
-- CaFeOBJ Implementation
-- by Hong Gu, Christian Mittermaier, Igor Rents

  • Inplementations
  • Sample definition of the vocabulary

  • 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

    Prev Up Next