Fabrizio Caruso Carsten
Schneider Geert Van de
Weyer
under the supervision of Wolfgang Schreiner
The System and its Goals
This work includes a loose specification of
a student dictionary system and its implementation in
the cafeOBJ language. The implementation provides examples
of various aspects of the student dictionary.
The primary purpose of this system is to allow its user to test his current
knowledge of a certain language by generating a test suite.
In addition to this main purpose, other operations are also provided. These
operations include the generation and construction of dictionaries, automated
translation of a given word and alphabetically ordered output of all known
words.