Alle Optionen
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Quellcode: smlnj  ]

Paket: libckit-smlnj (110.79-2 und andere)

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 Version Paketgröße Größe (installiert) Dateien
i386 110.79-2+b1 225,2 kB800,0 kB [Liste der Dateien]