Verification of register allocators

• Authors:

• Jens Palsberg

• Affiliations:

• Computer Science Department, University of California, Los Angeles

• Venue:
• VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
• Year:
• 2008