Knowledge Tree

researcher / Christian Queinnec

Christian Queinnec

at_id:

orcid_id:

Disciplines:

Applied sciences

Common sciences and techniques

Edit Merge See Links

Directed Thesis:

Detection statique d'exceptions non rattrapees en objective caml

Etude des modeles d'execution des langages fonctionnels et imperatifs : application a un evaluateur scheme

Evaluation partielle et compilation du filtrage

Vers une compilation portable et performante des langages fonctionnels

Strategies avancees pour la gestion de blocs de controle

Aspects theoriques et pratiques de l'inference de type et d'effets

Modeles operationnels de langages de programmation et representations de relations sur des langages rationnels avec application a la determination statique de proprietes de partages dynamiques de donnees

Contraintes symboliques en programmation en logique. Le schema clp (theories conceptuelles)

Recycler-en-marquant : un algorithme de gestion de memoire en temps reel. etude et implantation

Parallelisme et distribution en lisp

Gestion memoire automatique pour langages de programmation de haut niveau

Theorie et pratique de sqil, un langage intermediaire pour la compilation des langages fonctionnels

Analyse de programmes, evaluation partielle et generation de compilateurs

Langages a objets et genie logiciel, application a la gestion des exceptions et a l'environnementde mise au point