Specifying Instructions ’ Semantics Using λ-RTL (Interim Report)

by Norman Ramsey , Jack W. Davidson