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 (,
    Christian Mittermaier (,
    Igor Rents (
    February 10, 1999

    Prev Up Next