Ditto

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 2.7/5 - ‎10 ‎votos

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