next up previous
Next: Conclusion Up: foetus - Termination Checker Previous: Formal Description

Implementation  

foetus has been implemented in SML 97 . We have used the new Standard ML Basis Library to ensure a safe and possibly optimized handling of standard data structures like lists etc. The parser for the foetus terms has been created with ML-Lex and ML-Yacc. The ML implementation currently used is Standard ML of New Jersey , Version 109.32.
 
Table 2: foetus source files
foetus.lex foetus language token specification for ml-lex
foetus.grm foetus language grammar for ml-yacc
aux.sml auxiliary functions
closure.sml terms and environment
foetus.sml values, evaluation function hnf, printing
matrix.sml polymorphic matrices with necessary operations
simpledeps.sml simple implementation of dependecies
analyse.sml static analysis of foetus code
check.sml termination check via call graph
top.sml top level environment
load.sml loader and foetus parser
 

Download ML source foetus.tar.gz!

next up previous
Next: Conclusion Up: foetus - Termination Checker Previous: Formal Description
Andreas Abel, 7/16/1998