Libre Software Para Dave MacQueen

ckit es un frente C FIN escrito en SML que traduce el código fuente C (después de pre-procesamiento) en sintaxis abstracta representada como un conjunto de tipos de datos SML. También ofrece instalaciones para extender el lenguaje C con construcciones...