A machine description facility for compiler testing

Hanan Samet
[doi] [Google Scholar] [DBLP] [Citeseer]

IEEE Transactions on Software Engineering SE-3(5)
Pages 343-351
September 1977
Note(s): ISA specification, translation validation

Verified compilers