Program Logics for Certified Compilers || First-order separation logic
Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, XavierVolume:
10.1017/CB
Year:
2014
Language:
english
DOI:
10.1017/CBO9781107256552.010
File:
PDF, 278 KB
english, 2014