Program Logics for Certified Compilers || Indirection...

  • Main
  • Program Logics for Certified Compilers...

Program Logics for Certified Compilers || Indirection theory

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier
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:
10.1017/CB
Year:
2014
DOI:
10.1017/cbo9781107256552.041
File:
PDF, 421 KB
2014
Conversion to is in progress
Conversion to is failed