Logics and analyses for concurrent heap-manipulating programs
Auteur :
Gotsman, Alexey
Éditeur :
Gotsman, Alexey
ISBN :
9781906124830
Date de publication :
14 mars 2011
Dimensions :
29,7 x 21,0 x 0,9 cm
Poids :
410 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
In this dissertation the author develops modular program logics and program analyses for the verification of concurrent heap-manipulating programs. The approach is to exploit reasoning principles provided by program logics to construct modular program analyses and to use this process to obtain further insights into the logics.