7 citations · 9 across the 2 of their papers we have counts for
1 paper
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…