VST
version 2.14
mit Beiträgen von
Andrew W. Appel, Lennart Beringer, Robert Dockins, Josiah Dodds, Aquinas Hobor, Jean-Marie Madiot, Gordon Stewart, Qinxiang Cao, Qinshi Wang und andere.
Die Lizenzdatei enthält Informationen zu Urheberrecht, Lizenzierung und Berechtigungen.
Anweisungen finden Sie hier.
Unsere Webseite beschreibt die Ziele des Projekts und verfügt über Links zu vielen verwandten Veröffentlichungen.
Für eine Einführung in die Verwendung von Überprüfbar C, lesen Sie das Handbuch oder konsultieren Sie die Software -Fundamente, Band 5: Überprüfbar C für ein Tutorial mit Übungen.
Programmlogik für zertifizierte Compiler, von Andrew W. Appel et al., Cambridge University Press, 2014. In Hardcover erhältlich.
