Verification of heap manipulating programs with ordered...

Acta Informatica 2016 / 6 Vol. 53; Iss. 4

Verification of heap manipulating programs with ordered data by extended forest automata

Abdulla, Parosh Aziz, Holík, Lukáš, Jonsson, Bengt, Lengál, Ondřej, Trinh, Cong Quy, Vojnar, Tomáš
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:
53
Language:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-015-0235-0
Date:
June, 2016
File:
PDF, 953 KB
english, 2016
Conversion to is in progress
Conversion to is failed