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
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