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/