A system for the static analysis of XPath.

Pierre Genevès|Nabil Layaïda


Anthology ID:DBLP:journals/tois/GenevesL06
Year:2006
Venue:ACM Transactions on Information Systems (TOIS)
Pages:475-502
URL:https://doi.org/10.1145/1185877.1185882
DOI:https://doi.org/10.1145/1185877.1185882
DBLP:journals/tois/GenevesL06
BibTeX:
@article{geneves-2006-system, author = {Pierre Genev\`{e}s and Nabil Laya\"{i}da}, title = {{A system for the static analysis of XPath}}, journal = {ACM Transactions on Information Systems (TOIS)}, volume = {24}, number = {4}, pages = {475--502}, year = {2006}, url = {https://doi.org/10.1145/1185877.1185882}, doi = {https://doi.org/10.1145/1185877.1185882} }