For more information: SynDEx: http://www.syndex.org AAA methodology: http://www-rocq.inria.fr/syndex/pub/execv4/execv4.pdf Objective-Caml: http://caml.inria.fr/ Tcl/Tk: http://www.tcl.tk/ CamlTk: http://pauillac.inria.fr/camltk/