RISC

Research Institute
for
Symbolic Computation
R.I.S.C.


A Student Dictionary System

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.


Files to download
 
Documentation (both latex files are necessary)
 
LATEX main file 
 LATEX macros file 
 POSTSCRIPT file 
 

 
CafeOBJ Source "Student Dictionary" files (both source files are necessary)
 
 StudentDictionary (main file) 
 Low Level Subroutines 
 
 

 

Authors' Home Pages at RISC

Fabrizio Caruso's Home Page
Carsten Schneider's Home Page
Geert Van de Weyer's Home Page
 
 Supervisor's Home Page 
Dr. Dipl. Ing. Wolfgang Schreiner's Home Page