Programas por ditto-java.sf.net

Quer escrever uma estrutura de dados de tempo de execução invariante para encontrar um bug, mas não suporta a desaceleração? O Ditto vai ajudar. Otimiza automaticamente tais controlos para que corram 10x mais rápido ou mais.