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
Graph theory (including graph drawing) in computer science (68R10) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
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