Dminor-0.1
Tipo de licencia:Gratuita
Descargas totales:27
Latest version:0.1
Descripción
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 o Ultimate Auto Typer, que podrían ser parecidos a Dminor-0.1.
Comentarios
Subscribe to commentsPor favor, añade un comentario explicando las razones de tu voto.