OXFORD UNIVERSITY COMPUTING LABORATORY

Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques

S. McKeever and W. Luk

info

journal

Formal Aspects of Computing

number

18

pages

120-142

year

2006

links

BibTeX

related pages

people

Random Image
Random Image
Random Image