Dminor-0.1

por Microsoft Research

Ooops

Vaya, el enlace de descarga ya no está

Tipo de licencia: Gratuita

Descargas totales:27

Latest version:0.1

Reportar información incorrecta

Descripción

Captura de pantalla

Nuestra biblioteca de programas le ofrece una descarga gratuita de Dminor-0.1 0.1. La versión 0.1 es la más descargada por los usuarios del programa. Originariamente, esta herramienta sin coste la desarrolló Microsoft Research. Esta descarga ha sido comprobada por nuestro propio antivirus y ha determinado que está libre de virus. El programa pertenece al grupo Educación y Ciencia, en concreto al de aplicaciones sobre Habilidades informáticas.

Del desarrollador:

Dminor is a first-order functional language with the novel combination of the ideas of refinement type and type-test. It can express a rich variety of typing idioms and has a novel type-checking algorithm able to eliminate many dynamic tests and to detect many errors statically. The type checker uses an SMT Solver to compute subtyping efficiently.

Quizás esté interesado en probar otros programas, como Free Language Translator, que podrían ser parecidos a Dminor-0.1.

útil

Cómo limpiar el registro

útil

Cómo crear gráficos vectoriales

útil

Cómo usar un cortafuegos