![](/statics/img/blank.png)
Ditto
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 2.7/5 - 10 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre Ditto
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