Conference paperPredicate abstraction and canonical abstraction for singly-linked listsRoman Manevich, E. Yahav, et al.VMCAI 2005
PaperTypestate verification: Abstraction techniques and complexity resultsJ. Field, D. Goyal, et al.Science of Computer Programming
Conference paperIncremental algorithm for maintaining the dominator tree of a reducible flowgraphG. Ramalingam, Thomas RepsPOPL 1994