Projekt ten obejmuje zbiór bibliotek i aplikacji do analizy programu. Punktem wyjścia jest analiza typu dla programów Java przy użyciu algorytmu produktu kartezjańskiego Agesen.
historia wersji
- Wersja 0.3 opublikowany na 2002-10-28
Kilka poprawek i aktualizacji - Wersja 0.3 opublikowany na 2002-10-28
Szczegóły programu
- Kategorii: Edukacji > Innych
- Wydawca: programanalysis.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: 0.3
- Platformy: windows