ESC/Java2 Frontend 2.0.5
ESC / Java2 Frontend hanke jäsentää Java 1.4 lähdekoodi ja Java 1.5 bytecode osaksi Abstract Syntax Tree, joka voidaan käyttää Extended Staattinen tarkistaminen.Laajennettu Static Checker Java-versio 2 (ESC / Java2) on ohjelmointityökalu, joka yrittää...