Personal tools
You are here: Home Events Lab lunch speakers 2010 James Cheney

James Cheney

Overlap testing for path expressions

I will give a brief overview of some current work on testing overlap between (XML) path expressions by reducing to various logics for which efficient satisfiability checkers exist.

Document Actions