Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Vérification d'Algorithmes, Langages et Systèmes


TYPEX

ANR
Janv. 2012 - Sept. 2015

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : BENZAKEN Véronique

Gestionnaire : 
Organisme gérant : Université Paris XI

Typeful certified XML: : integrating language, logic, and data- oriented best practices

The goal of this project is to produce a new generation of
XML programming languages stemming from the synergy of integrating
three approaches into a unique framework: a logical approach, a
data-oriented approach and a programming language
approach. Languages whose constructions are inspired by the latest
results in the PL research; with precise and polymorphic type
systems that merge PL typing techniques with logical-solver-based
type inference; with efficient implementations issued by latest
researches on tree automata and formally certified by latest theorem
prover technologies; with optimizations directly issued from their
types systems and the logical formalizations and whose efficiency
will be formally guaranteed; with the capacity to specify and
formally verify invariants, business rules, and data
integrity. Languages with a direct and immediate impact on
standardization processes.

Activités de recherche
  Langages et systèmes centrés données
  Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
  Langages et systèmes centrés données

Membres LRI
BENZAKEN Véronique
NGUYEN Kim


Pour en savoir plus : http://typex.lri.fr/
Contrats
° IUF
FABIO MARTIGNON
SUBVENTION

° DIGISCOPE UPS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° DIGISCOPE CNRS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° LCHIP
LCHIP

° DIGISCOPE INRIA
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR