Local Hoare Reasoning about DOM

Authors

• 1. Philippa A. Gardner (Imperial College London)
• 2. Gareth D. Smith (Imperial College London)
• 3. Mark J. Wheelhouse (Imperial College London)
• 4. Uri D. Zarfaty (Imperial College London)

@inproceedings{gardner_pods08,
        address = {New York, NY, USA},
        series = {{PODS} '08},
        title = {{Local Hoare Reasoning about DOM}},
        url = {https://dl.acm.org/doi/10.1145/1376916.1376953},
        doi = {10.1145/1376916.1376953},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Gardner, Philippa A. and Smith, Gareth D. and Wheelhouse, Mark J. and Zarfaty, Uri D.},
        year = {2008}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Semantically Similar Papers