Ce projet comprend une collection de bibliothèques et d’applications pour le domaine de l’analyse des programmes. Le point de départ est une analyse de type pour les programmes Java utilisant l’algorithme de produit cartésien d’Agesen.
historique de la version
- Version 0.3 posté sur 2002-10-28
Plusieurs correctifs et mises à jour - Version 0.3 posté sur 2002-10-28
Détails du programme
- Catégorie: Éducation > Autres
- Éditeur: programanalysis.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 0.3
- Plate-forme: windows