Automatic Derivation of Abstract Semantics From Instruction Set Descriptions.

Dominique Gückel Stefan Kowalewski

Published in: SSV (2011)

Keyphrases

instruction set
high level
application specific
computer architecture
floating point
artificial intelligence
data structure
management system