Interprétation abstraite pour les langages de programmation déclaratifs

Projet: Recherche

Détails du projet

Description

{description_courte}
L'acronymeABILE
statutFini
Les dates de début/date réelle1/01/9531/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