The pointer assertion logic engine

ACM SIGPLAN Notices 2001 / 05 Vol. 36; Iss. 5

The pointer assertion logic engine

Møller, Anders, Schwartzbach, Michael I.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
36
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/381694.378851
Date:
May, 2001
File:
PDF, 1.36 MB
english, 2001
Conversion to is in progress
Conversion to is failed