Ditto

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 2.7/5 - ‎10 ‎Stimmen

Möchten Sie eine laufzeitielle Datenstruktur-Invariante überprüfung schreiben, um einen Fehler zu finden, aber können die Verlangsamung nicht aushalten? Ditto wird helfen. Es optimiert solche Prüfungen automatisch, so dass sie 10x schneller oder mehr laufen. PLDI 2007 Papier http://www.cs.berkeley.edu/~aj/cs/ditto.pdf

VERSIONSVERLAUF

  • Version N/A veröffentlicht auf 2011-08-05
  • Version ditto%200.1 veröffentlicht auf 2003-01-22
    Mehrere Korrekturen und Updates

Programmdetails