Paket: libckit-smlnj (110.79-8)

SML-Bibliothek zur Analyse und Typprüfung von C-Programmen

ckit ist ein in SML geschriebenes C-Frontend, das C-Quelltext (nach der Vorverarbeitung) in eine abstrakte Syntax übersetzt, die als ein Satz an SML-Datentypen dargestellt wird. Es stellt auch Möglichkeiten bereit, die C-Sprache mit zusätzlichen syntaktischen Konstrukten zu erweitern, die sowohl für die Implementierung »C-ähnlicher« Sprachen für spezielle Zwecke, als auch von C-Dialekten nützlich sein kann.

Diese Seite gibt es auch in den folgenden Sprachen (Wie wird die Standardsprache eingestellt):