Ivory ist eine eingebettete domänenspezifische Sprache (EDSL), die darauf abzielt, eine Programmiersprache auf Systemebene bereitzustellen, die einige häufige Fallstricke der Programmierung in C beseitigt, ohne die Ausdruckskraft zu beeinträchtigen.
Dieses Repository enthält ein Benutzerhandbuch und einige Beispiele für Ivory-Programme. Weitere Informationen und Tutorials finden Sie auf ivorylang.org.
Das folgende Papier beschreibt die Elfenbeinsprache:
Bitte zitieren Sie dieses Papier, wenn Sie die Sprache zitieren.
ivory : die Implementierung und der Interpreter der Elfenbeinspracheivory-backend-c : ein Backend zum Kompilieren von Ivory-Programmen nach Civory-examples : Beispielprogramme für Ivoryivory-opts : ein Optimierungsframework und einige Optimierungsimplementierungen für den Ivory AST.ivory-bitdata : eine Makrosprachenbibliothek zur Spezifikation bitgenauer Ivory-Operationen.ivory-hw : eine Makrosprachenbibliothek zum Schreiben von Hardwaretreibern in Ivory.ivory-model-check : ein Backend zur Überprüfung von Ivory-Programmen mit CVC4 Ivory ist in Haskell geschrieben und verwendet mehrere aktuelle GHC-Erweiterungen. Es ist bekannt, dass es mit GHC 7.8.* und höher funktioniert.
Wir empfehlen derzeit die Verwendung des Stack-Build-Tools für Ivory-Sprachpakete und alle Programme, die diese verwenden.
Copyright 2013–2015 Galois, Inc.
Lizenziert unter der BSD 3-Clause-Lizenz; Sie dürfen dieses Werk nur in Übereinstimmung mit der Lizenz verwenden. Eine Kopie der Lizenz ist in der LICENSE-Datei enthalten.
Dieses Projekt hält sich an den Verhaltenskodex des Contributor Covenant. Durch Ihre Teilnahme wird von Ihnen erwartet, dass Sie diesen Kodex einhalten. Bitte melden Sie inakzeptables Verhalten an [email protected].
