Ivory は組み込みドメイン固有言語 (EDSL) であり、表現力を犠牲にすることなく、C でのプログラミングによくある落とし穴を取り除くシステムレベルのプログラミング言語を提供することを目的としています。
このリポジトリには、ユーザー ガイドといくつかのIvory プログラムのサンプルが含まれています。詳細とチュートリアルは、ivorylang.org でご覧いただけます。
次の論文では象牙言語について説明しています。
文言を引用する場合は、この論文を引用してください。
ivory : アイボリー言語の実装およびインタプリタivory-backend-c : Ivory プログラムを C にコンパイルするためのバックエンドivory-examples : サンプルのIvoryプログラムivory-opts : Ivory AST 用の最適化フレームワークといくつかの最適化実装。ivory-bitdata : ビット精度のアイボリー演算を指定するためのマクロ言語ライブラリ。ivory-hw :Ivory でハードウェア ドライバーを作成するためのマクロ言語ライブラリ。ivory-model-check : CVC4 を使用して Ivory プログラムを検証するためのバックエンドIvory は Haskell で書かれており、いくつかの最新の GHC 拡張機能を使用しています。 GHC 7.8.* 以降で動作することが知られています。
現在、Ivory 言語パッケージおよびそれらを使用するプログラムには Stack ビルド ツールを使用することをお勧めします。
Copyright 2013-2015 Galois, Inc.
BSD 3 条項ライセンスに基づいてライセンスされています。ライセンスに準拠する場合を除き、この作品を使用することはできません。ライセンスのコピーは LICENSE ファイルに含まれています。
このプロジェクトは、貢献者規約の行動規範に準拠しています。参加することにより、この規範を遵守することが期待されます。容認できない行為は [email protected] に報告してください。
