DAFNY Un idioma de programación bastante nuevo para aquellos desarrolladores siempre en la búsqueda de algo nuevo para que ...
Descargar ahora

DAFNY Clasificación y resumen

DAFNY Etiquetas

lenguaje de programación código idioma Verificador lenguaje de código verificador del programa

DAFNY Descripción

DAFNY le proporcionará a los desarrolladores un lenguaje de programación junto con un verificador de programas. Con DAFNY, a medida que escribe su programa, el verificador se asegura de que su código esté libre de errores. DAFNY en sí mismo dibuja múltiples trozos de influencia de: · Euclid (de la mentalidad de un diseño de un idioma cuyos programas deben ser verificados) · Eiffel (como las características incorporadas del contrato) · CLU (como sus iteradores, y la perspiración para la sintaxis de los parámetros) · Java y C # (como las clases, aunque DAFNY no admite la subclasificación) · ML (como el sistema del módulo, y sus funciones y los tipos de datos inductivos, pero DAFNY no admite características de orden superior) · CoQ (como la capacidad de incluir tipos de datos co-inductivos y poder escribir pruebas inductivas y co-inductivas)

DAFNY Software relacionado