researcher / Claude Kirchner

Claude Kirchner

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Un système de types pour la programmation par réécriture embarquée
Terminaison à base de tailles : sémantique et généralisations
Représentation et interaction des preuves en superdéduction modulo
Bonnes démonstrations en déduction modulo
Conception d'un langage dédié à l'analyse et la transformation de programmes
Contraintes d'anti-filtrage et programmation par réécriture
Réécriture et modularité pour les politiques de sécurité
Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage
Preuves par induction dans le calcul des séquents modulo
Terminaison en temps moyen fini de systèmes de règles probabilistes
Structures et modèles de calculs de réécriture
Réécriture et compilation de confiance
The graph rewriting calculus : properties and expressive capabilities
Typage et déduction dans le calcul de réécriture
Certified reasoning on real numbers and objects in co-inductive type theory
Système de preuve modulo récurrence
Calcul de réécriture : fondements et applications
Déduction avec contraintes et simplification dans les théories équationnelles
Contraintes diophantiennes linéaires : résolution et coopération inter-résolveurs
Une approche déductive de la résolution de problèmes de satisfaction de contraintes
Etude et mise en oeuvre de la réécriture conditionnelle concurrente sur des machines parallèles à mémoire distribuée
Techniques de réécriture pour le traitement de problème de routage dans les graphes de Cayley
Elan : un cadre logique pour le prototypage de langages de programmation avec contraintes
Unification dans les théories syntaxiques
La réécriture concurrente
Calculs associatifs commutatifs, étude et réalisation du système Unifac
Outils pour la déduction automatique dans les théories associative-commutatives
Méthodes d'unification par surréduction