Formal Verification of Coalescing Graph-Coloring Register Allocation
From MaRDI portal
Publication:3558221
DOI10.1007/978-3-642-11957-6_9zbMath1260.68227MaRDI 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
68R10: Graph theory (including graph drawing) in computer science
68N20: Theory of compilers and interpreters
68N18: Functional programming and lambda calculus
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
The verified CakeML compiler backend, Verified spilling and translation validation with repair, Proof-producing synthesis of CakeML from monadic HOL functions, A Linear First-Order Functional Intermediate Language for Verified Compilers
Uses Software