Publications

of Patricia M. Hill

Books and proceedings

  1. Patricia M. Hill and David S. Warren, editors. ICLP09l, volume 5649 of LNCS, July 2009. SV. [doi:10.1007/978-3-642-02846-5]

Articles in journal, book chapters

  1. Antonio J. Fernández and Patricia M. Hill. An interval constraint system for lattice domains. ACM Trans. Program. Lang. Syst., 26(1):1-46, 2004. ISSN: 0164-0925. [doi:10.1145/963778.963779]

BACK TO INDEX