previous up next contents
Suivant : Table des matières

Avant-projet PROLO

Programmation en logique

Rapport d'activité 1995

Page WWW du projet

Localisation : Rocquencourt

Mots clefs : programmation logique, contrainte, Prolog, programmation par contraintes, sémantique, spécification formelle, débogage, environnement de programmation, génie logiciel, concurrence, interprétation abstraite, langage de programmation, modèle d'exécution, négation, standard, parallélisme, test, traitement d'erreur, transformation de programme, vérification de programme