Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. The Checker Framework

The Checker Framework

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos
Download

A estrutura do Verificador é um conjunto facilmente expansível de verificação/transformação para construir a hierarquia de operações de cadeia facilmente para armazenar/ser criado e reutilizado (no momento de execução, se quiser).

história da versão

  • Versão files postado em 2010-06-21
    Várias correções e atualizações
  • Versão N/A postado em 2010-06-21

Detalhes do programa

Programas Relacionados

  • ajaxWM Livre

    AjaxWM é um gerenciador de janelas temático baseado em ajax e python, que fornece vários terminais flexíveis em um navegador da Web para um confortável controle remoto de um computador através de uma rede sem ter que instalar

  • Twick.it API Wrapper Livre

    Se você gosta de usar a API Twick.it, você deve dar uma olhada nestes invólucros. Simplesmente chamando alguns métodos estáticos, você pode ler dados da API e não precisa se preocupar com todas as coisas rest, como enviar sol

  • WURDE Livre

    WURDE é middleware para desenvolvimento de aplicações robóticas. Ele foi projetado para ser extremamente simples de desenvolver e fácil de adicionar suporte para protocolos de comunicação alternativos. Inclui um sistema de ge

  • vTpl - Templating System Livre

    vTpl é um sistema de hasplating de moscas para sites dinâmicos. O vTpl é destinado a desenvolvedores que desejam tirar sua lógica de exibição da lógica de negócios sem um grande sistema de templating volumoso. O vTpl suporta

  • KML share Livre

    kmlshare é um software de site baseado em api do Google Maps. Os usuários podem carregar arquivos kml para o site, que é analisado e marcas de lugar são armazenadas no banco de dados, tornando o conteúdo possível e pesquisáve

  • PHersistence Livre

    PHersistence é um poderoso quadro de persistência relacional de objetos escrito para PHP. Com o objetivo de cobrir os backends de banco de dados mais usados do db2 ao MySQL e ao Progress. O objetivo da PHersistence é introduz

  • Lamino Livre

    Lamino é uma metalinguagem de configuração de alto nível que melhora o IoC básico (Inversão de Controle a.k.a. Injeção de Dependência) com camadas de configuração e componentes encapsulados.

  • PIES 3.14159... complement ECMAScript 3! Livre

    O PIES fornece o mecanismo de embalagem/importação ausente no ES3 (ECMAScript Language Specification 3ª edição, o padrão para JavaScript, JScript). E com muitas bibliotecas selecionadas, o PIES complementará o ES3!

  • Kaolak Community System Livre

    Kaolak é um sytem comunitário baseado na web que executa em Apache com PHP4 e MySql. Uma comunidade é definida por seus usuários e documentos e forma uma filial kaolak. Kaolak foi projetado para lidar com muitos ramos tra

  • bisrulz Livre

    Um mecanismo de regras de metadados baseado em Java. Este motor permitirá que você configure seus próprios metadados específicos de domínio. Ele fornece recursos como definições dinâmicas de regras, encadeamento de regras e é