[ACM Press the ACM SIGPLAN 2001 conference - Snowbird, Utah, United States (2001..-..)] Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01 - The pointer assertion logic engine
Møller, Anders, Schwartzbach, Michael I.Year:
2001
Language:
english
DOI:
10.1145/378795.378851
File:
PDF, 1.36 MB
english, 2001