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, Ultimate Auto Typer o Auto Click Typer, que podrían ser parecidos a Dminor-0.1.