ckit 1.0
ckit est un front de c Terminez écrit dans SML qui traduit le code source C (après prétraitement) dans la syntaxe abstraite représentée comme un ensemble de types de données SML. Il fournit également des installations pour étendre le langage C avec des...