![](/statics/img/blank.png)
Ditto
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 2.7/5 - 10 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre Ditto
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. http://www.cs.berkeley.edu/~aj/cs/ditto.pdf de papel PLDI 2007