Correctness of transformations on register transfers
From MaRDI portal
Publication:1196298
DOI10.1016/0167-6423(92)90006-WzbMath0772.68019MaRDI QIDQ1196298
Publication date: 16 December 1992
Published in: Science of Computer Programming (Search for Journal in Brave)
denotational semanticscommon subexpression eliminationcode optimizationcode-generator generationregister transfer notation
This page was built for publication: Correctness of transformations on register transfers