Habilitation à Diriger des Recherches

RML: Relational Meta-Language

  • Un nouveau langage pour la Sémantique Naturelle
    (travaux de Mikaël Pettersson)
  • Optimisations: non-déterminisme, pattern-matching, continuations
  • Compilation vers C

    Mais des questions sans réponse:

    • pouvoir d'expression
    • contexte interactif
    • aide à la mise au point
    • comparaison des performances