Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Ditto

Ditto

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

Quer escrever uma verificação invariante da estrutura de dados em tempo de execução para encontrar um bug, mas não suporta a desaceleração? Ditto vai ajudar. Ele otimiza automaticamente tais verificações para que eles executem 10x mais rápido ou mais. http://www.cs.berkeley.edu/~aj/cs/ditto.pdf de papel PLDI 2007

história da versão

  • Versão N/A postado em 2011-08-05
  • Versão ditto%200.1 postado em 2003-01-22
    Várias correções e atualizações

Detalhes do programa

Programas Relacionados

  • Mobo Daemon Livre

    Mobo Daemon é um aplicativo que permite gerenciar seu Android sem fio a partir do seu PC através de Moborobo À Â" uma ferramenta all-in-one Android smartphone management tool no PC. Clique neste link para saber mais Moborob

  • Electronic KeyBoard Livre

    Electronic Keyboard é um teclado simulado projetado para windows vista. É uma maneira divertida de praticar piano no seu pc. Divirta-se brincando com seus amigos ou sozinho. Faça os sons da música neste novo programa de Softw

  • Android Txt EBook Reader Livre

    Um simples leitor TXT para usuários de Android. Para apoiar, compre HYReader.

  • Daewoo Radio Code Calculator Avaliação gratuita

    *Os aplicativos da Calculadora de Código de Rádio Daewoo foram criados para eletrônicos de carro e para pessoas físicas que querem desbloquear um Rádio, mas perderam um Código de Rádio.*Encontre uma série em seu rádio(8 digit

  • AntiLock Pro Avaliação gratuita

    Há alguém que pense que a fechadura de slides para Android é desnecessária? Usando este aplicativo, a tela de desbloqueio não será exibida, para que você possa pular um passo para voltar para a tela inicial.A versão Pro t

  • P2PCam264 Avaliação gratuita

    Este aplicativo foi especificamente construído para séries de câmeras IP P2P. *Todos os usuários, por favor, observem que este aplicativo foi construído apenas para séries de câmeras IP P2P. Este aplicativo permite que

  • Veeda Avaliação gratuita

    "Veeda" é um aplicativo assistente virtual de condução desenvolvido pela Sri Droides. Este aplicativo auxilia os motoristas exibindo as informações de navegação, gerenciando chamadas recebidas, lendo mensagens de texto e dand

  • USB Barcode reader driver Livre

    Este é um driver para leitura de um leitor de código de barras USB.

  • Anti-lost Avaliação gratuita

    Anti-perdido é um software Anti-Lost. Pelo SMS e GPS do telefone, você pode conhecer instantaneamente o número de telefone celular do usuário atual, bem como suas coordenadas geográficas.

  • Easy Answer Livre

    ÂÂÂ Â Â... ÂÂÂ Â Â... ÂÂÂ Â Â... Resposta fácil recebimento do telefone facilmente 2000... ÂÂÂ Â Â... ÂÂÂ Â Â... 1 Sensor de proximidade: Atendendo a uma chamada para atender uma chamada sem tocar2 Sensor de aceleração, agite