A Framework for End-to-End Verification and Evaluation of Register Allocators

DOI10.1007/978-3-540-74061-2_10zbMath1211.68099OpenAlexW2169751590MaRDI QIDQ3612000

Fernando Magno Quintão Pereira, V. Krishna Nandivada, Jens Palsberg

Publication date: 3 March 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.584

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Aliased register allocation for straight-line programs is NP-complete

This page was built for publication: A Framework for End-to-End Verification and Evaluation of Register Allocators