DMCA

Register allocation by proof transformation (2004)

by Atsushi Ohori
Venue:Science of Computer Programming
Citations:7 - 3 self