Détails du projet
Description
{description_courte}
| Acronyme | ABILE |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 1/01/95 → 31/12/98 |
mots-clés
- point fixe
- langages de programmation déclaratifs
- programmation logique
- interpretation abstraite
- interprétation abstraite
- optimisation
- langages de programmation declaratifs
- programmation logique avec contraintes
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.