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