208 citations
- Institut national de recherche en sciences et technologies du numériqueFR17 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR3 papers
- Centre de Recherche en Économie et StatistiqueFR2 papers
- Centre de Recherche en Mathématiques de la DécisionFR2 papers
- Hendrix Genetics (France)FR2 papers
- Laboratoire de Mathématiques Jean LerayFR2 papers
- Aarhus UniversityDK1 paper
- Centrale MéditerranéeFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Institut de Mathématiques de MarseilleFR1 paper
- Institut National de la Statistique et des Etudes EconomiquesFR1 paper
- Institut Polytechnique de ParisFR1 paper
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2009★ 2 cited
Rewrite based Verification of XML Updates
Florent Jacquemard, Michael Rusinowitch
We consider problems of access control for update of XML documents. In the context of XML programming, types can be viewed as hedge automata, and static type checking amounts to ve…
cs.LO2008★ 2 cited
The computability path ordering: the end of a quest
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for which we p…
cs.LO2008
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Constructions, whi…