Dminor-0.1

Dminor-0.1

Ooops
o link para download desapareceu
Ooops
o link para download desapareceu

Licença:Gratuito

Total de downloads:27

Latest version:0.1

Informação atualizada em:

Imagem do ecrã

Screenshot

Descrição

Dminor-0.1 0.1 está presente como download na nossa biblioteca de programas. O software está dentro de Educação, na subcategoria Conhecimentos de Informática. Esse software tem como desenvolvedor Microsoft Research. Nossa análise feita pelo antivírus mostra que esse download está protegido. A seguinte versão é a mais frequentemente baixada pelos usuários do programa: 0.1.

Do desenvolvedor:

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.

Confira mais programas, tais como Keyman Desktop Professional ou Keyman, que podem ser similares a Dminor-0.1.

Comentários

Obrigado por classificar o programa!
Por favor, adicione um comentário explicando o raciocínio por trás do seu voto.
Seu voto: