Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: smlnj  ]

Paket: libckit-smlnj (110.79-4)

Links für libckit-smlnj

Screenshot

Debian-Ressourcen:

Quellcode-Paket smlnj herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libckit-smlnj

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libckit-smlnj herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 225,2 kB799,0 kB [Liste der Dateien]
i386 225,4 kB799,0 kB [Liste der Dateien]