7 citations · 9 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 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★ 7 cited
Automated Induction for Complex Data Structures
Adel Bouhoula, Florent Jacquemard
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int…