ESC/Java2 Frontend 2.0.5

ESC progetto / Java2 Frontend analizza codice Java 1.4 sorgente e bytecode Java 1.5 in un albero di sintassi astratta che può essere utilizzato per esteso Controllo statico.Il statico Checker estesa per Java versione 2 (ESC / Java2) è uno strumento di...