Conference paper
Effective typestate verification in the presence of aliasing
Stephen Fink, Eran Yahav, et al.
ISSTA 2006
Paper
On loops, dominators, and dominance frontier
Abstract
No abstract available.
Related
Frank Tip, Jong-Deok Choi, et al.
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
G. Ramalingam
Theoretical Computer Science
G. Ramalingam
ACM TOPLAS