GDSL: A Universal Toolkit for Giving Semantics to Machine Language.

Julian Kranz, Alexander Sepp, Axel Simon

Browse the full APLAS paper archive.