Programas por ditto-java.sf.net

  • Ditto Livre

    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 execute