Automatic verification of pointer programs using monadic...

ACM SIGPLAN Notices 1997 / 05 Vol. 32; Iss. 5

Automatic verification of pointer programs using monadic second-order logic

Jensen, Jakob L., Jørgensen, Michael E., Schwartzbach, Michael I., Klarlund, Nils
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:
32
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/258916.258936
Date:
May, 1997
File:
PDF, 1.24 MB
english, 1997
Conversion to is in progress
Conversion to is failed