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