Ivory는 표현력을 희생하지 않고 C 프로그래밍의 일반적인 함정을 제거하는 시스템 수준 프로그래밍 언어를 제공하는 것을 목표로 하는 임베디드 도메인 특정 언어(EDSL)입니다.
이 저장소에는 사용자 가이드와 몇 가지 Ivory 프로그램 예제가 포함되어 있습니다. 자세한 내용과 튜토리얼은 ivorylang.org에서 확인하실 수 있습니다.
다음 문서에서는 Ivory 언어에 대해 설명합니다.
해당 언어를 인용할 때에는 이 논문을 인용하시기 바랍니다.
ivory : Ivory 언어 구현 및 해석기ivory-backend-c : Ivory 프로그램을 C로 컴파일하기 위한 백엔드ivory-examples : 샘플 Ivory 프로그램ivory-opts : Ivory AST를 위한 최적화 프레임워크 및 일부 최적화 구현입니다.ivory-bitdata : 비트 단위의 정확한 Ivory 연산을 지정하기 위한 매크로 언어 라이브러리입니다.ivory-hw : Ivory로 하드웨어 드라이버를 작성하기 위한 매크로 언어 라이브러리입니다.ivory-model-check : CVC4로 Ivory 프로그램을 검증하기 위한 백엔드 Ivory는 Haskell로 작성되었으며 몇 가지 최신 GHC 확장을 사용합니다. GHC 7.8.* 이상에서 작동하는 것으로 알려져 있습니다.
현재 Ivory 언어 패키지 및 이를 사용하는 모든 프로그램에는 스택 빌드 도구를 사용하는 것이 좋습니다.
저작권 2013-2015 Galois, Inc.
BSD 3조 라이선스에 따라 라이선스가 부여됩니다. 라이센스를 준수하는 경우를 제외하고는 이 저작물을 사용할 수 없습니다. 라이센스 사본은 LICENSE 파일에 포함되어 있습니다.
이 프로젝트는 기여자 규약 행동 강령을 준수합니다. 참여함으로써 귀하는 이 코드를 유지해야 합니다. 용납할 수 없는 행동을 [email protected]으로 신고해 주세요.
