• Type-based verification of sss...

Treffer: Type-based verification of sssembly language for compiler debugging

Title:
Type-based verification of sssembly language for compiler debugging
Authors:
Chang, Bor-Yuh Evan, Chlipala, Adam, Necula, George C., Schneck, Robert R.
Source:
Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation. :91-102
Availability:
http://dl.acm.org/doi/10.1145/1040294.1040303
Database:
ACM Full-Text Collection