Jean-Marie Madiot
IdRefMots clés
FR |
EN
Concurrency theory
Process calculi
Bisimulations
Lambda-calculus
Lambda-calcul
Sémantiques squelettiques
Sémantiques opérationnelles
Grand-Pas
Petit-Pas
Machines abstraites
Interprétation certifiée
Sémantique opérationnelle
Optimisation
Assistants de preuve
Norme SIL 4
Compilation
Langage de programmation
Méthodes formelles
Optimisation mathématique