Formal Verification of Coalescing Graph-Coloring Register Allocation
From MaRDI portal
Publication:3558221
DOI10.1007/978-3-642-11957-6_9zbMath1260.68227OpenAlexW1530959454MaRDI QIDQ3558221
Sandrine Blazy, Andrew W. Appel, Benoît Robillard
Publication date: 4 May 2010
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_9
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
A Linear First-Order Functional Intermediate Language for Verified Compilers ⋮ Verified spilling and translation validation with repair ⋮ Proof-producing synthesis of CakeML from monadic HOL functions ⋮ The verified CakeML compiler backend
Uses Software
This page was built for publication: Formal Verification of Coalescing Graph-Coloring Register Allocation
