Register allocation by proof transformation

DOI10.1016/J.SCICO.2004.01.005zbMath1091.68028OpenAlexW2156992812MaRDI QIDQ1887736

Atsushi Ohori

Publication date: 22 November 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.01.005

zbMATH Keywords

Liveness analysisProof transformationRegister allocationStructural rules

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic in computer science (03B70)

This page was built for publication: Register allocation by proof transformation