Xamarin Studio.
Um IDE completo que permite criar aplicativos móveis em C # usando APIs nativas para del ... ...
2 MB
 | Dofny.Uma linguagem de código de programação bastante nova para os desenvolvedores sempre à procura de algo novo ... |
| Baixe Agora | |
Dofny. Classificação e resumo
Propaganda
Dofny. Tag
Dofny. Descrição
DAFNY fornecerá aos desenvolvedores uma linguagem de programação ao lado de um verificador de programa. Com DAFNY, como você digita em seu programa, o verificador garante que seu código seja livre de erros. O próprio Dafny desenha vários pedaços de influência de: · Euclid (da mentalidade de um projeto de uma linguagem cujos programas devem ser verificados) · Eiffel (como os recursos de contrato integrados) · CLU (como seus iteradores e inpiração para a sintaxe de parâmetros fora) · Java e C # (como as aulas, embora Dafny não suporta subclasse) · Ml (como o sistema de módulo e suas funções e tipos de dados indutivos, mas DAFNY não suporta recursos de ordem superior) · Coq (como a capacidade de incluir tipos de dados co-indutivos e ser capaz de escrever provas indutivas e co-indutivas)
Dofny. Software Relacionado
INTERIX IDE.
um Java intuitivo e fácil de usar Java e HTML que vem com ferramentas básicas de edição de texto, um acessório ... ...
7.4 MB
FPC Crosscompiler Maker.
Uma ferramenta de desenvolvimento de fácil utilização projetada para ajudar os programadores a criar compiladores de plataforma cruzada para ... ...
1.2 MB
Plataforma ELA.
um IDE completo e um console para o desenvolvimento de aplicativos usando ELA, uma linguagem de programação com um s ... ...
1.3 MB
Kineticwing IDE.
Um utilitário de software compactado de recurso que é útil para todos os desenvolvedores que estão procurando um ... ...
25.1 MB