ESC/Java2 Frontend 2.0.5
ESC projet / Java2 Frontend analyse du code Java 1.4 source et Java 1.5 bytecode dans une arborescence syntaxe abstraite qui peut être utilisé pour la vérification statique prolongée.Le Checker statique prolongée pour la version Java 2 (ESC / Java2 de)...