Ivory es un lenguaje integrado de dominio específico (EDSL) que tiene como objetivo proporcionar un lenguaje de programación a nivel de sistemas que elimina algunos errores comunes de la programación en C, sin sacrificar la expresividad.
Este repositorio incluye una guía de usuario y algunos ejemplos de programas de Ivory. Más información y tutoriales están disponibles en ivorylang.org.
El siguiente artículo describe el idioma marfil:
Cite este artículo cuando cite el idioma.
ivory : la implementación y el intérprete del lenguaje Ivoryivory-backend-c : un backend para compilar programas de Ivory en Civory-examples : programas de ejemplo de Ivoryivory-opts : un marco de optimización y algunas implementaciones de optimización para Ivory AST.ivory-bitdata : una biblioteca de lenguaje de macros para especificar operaciones de Ivory con precisión de bits.ivory-hw : una biblioteca de lenguaje de macros para escribir controladores de hardware en Ivory.ivory-model-check : un backend para verificar programas de Ivory con CVC4 Ivory está escrito en Haskell y utiliza varias extensiones GHC recientes. Se sabe que funciona con GHC 7.8.* y superiores.
Actualmente recomendamos utilizar la herramienta de compilación Stack para los paquetes de idiomas de Ivory y cualquier programa que los utilice.
Copyright 2013-2015 Galois, Inc.
Licenciado bajo la licencia BSD de 3 cláusulas; no puede utilizar este trabajo excepto de conformidad con la Licencia. Se incluye una copia de la Licencia en el archivo de LICENCIA.
Este proyecto se adhiere al código de conducta del Pacto del Colaborador. Al participar, se espera que respete este código. Informe cualquier comportamiento inaceptable a [email protected].
