Le moteur de recherche
des thèses françaises
Yves Bekkers
IdRefMots clés
FR
Sciences appliquees
Informatique, automatique theorique, systemes
Programmation logique
Prolog
Unification d'ordre superieur
Codage des termes
Compilation
Genie logiciel
Environnement de programmation
Debogage
Trace d'execution
Analyse de programme
Comprehension de programme
These
Traitement langage
Compilateur
Thesis
Language processing
Compiler
Prolog (langage de programmation)