John P. Gallagher, Kim S. Henriksen
Abstract Domains Based on Regular Types
ICLP, 2004.
@inproceedings{ICLP-2004-GallagherH, author = "John P. Gallagher and Kim S. Henriksen", booktitle = "{Proceedings of the 20th International Conference on Logic Programming}", doi = "10.1007/978-3-540-27775-0_3", isbn = "3-540-22671-0", pages = "27--42", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Abstract Domains Based on Regular Types}", volume = 3132, year = 2004, }