Questo progetto comprende una raccolta di biblioteche e applicazioni per il campo dell'analisi dei programmi. Il punto di partenza è un'analisi dei tipi per i programmi Java che utilizzano l'algoritmo di prodotto cartesiano di Agesen.
cronologia delle versioni
- Versione 0.3 pubblicato il 2002-10-28
Diverse correzioni e aggiornamenti - Versione 0.3 pubblicato il 2002-10-28
Dettagli del programma
- Categoria: Istruzione > Altro
- Editore: programanalysis.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 0.3
- Piattaforma: windows