海量图书期刊资源,随时随地畅享阅读乐趣
Parametric polymorphism and semantic subtypingGesbert, Nils; Genevès, Pierre; Layaïda, Nabil · ACM SIGPLAN Notices · 2011
Impact of XML Schema EvolutionGenevès, Pierre; Layaïda, Nabil; Quint, Vincent · ACM Transactions on Internet Technology · 2011
SPARQL Query Containment Under SchemaChekol, Melisachew Wudage; Euzenat, Jérôme; Genevès, Pierre; Layaïda, Nabil · Journal on Data Semantics · 2018
Identifying query incompatibilities with evolving XML schemasGenevès, Pierre; Layaïda, Nabil; Quint, Vincent · ACM SIGPLAN Notices · 2009
A Logical Approach to Deciding Semantic SubtypingGesbert, Nils; Genevès, Pierre; Layaïda, Nabil · ACM Transactions on Programming Languages and Systems · 2015
Equipping IDEs with XML-Path Reasoning CapabilitiesGenevès, Pierre; Layaïda, Nabil · ACM Transactions on Internet Technology · 2014
A system for the static analysis of XPathGenevès, Pierre; Layaïda, Nabil · ACM Transactions on Information Systems · 2006