Logics And Analyses For Concurrent Heap-manipulating Programs
- Collana:
- Distinguished Dissertation
- EAN:
9781906124830
- ISBN:
1906124833
- Pagine:
- 162
- Formato:
- Paperback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Logics And Analyses For Concurrent Heap-manipulating Programs
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.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti