Equational Reasoning on x86 Assembly Code.

Kevin Coogan Saumya K. Debray

Published in: SCAM (2011)

Keyphrases

source code
computer vision
assembly systems
information systems
multi agent systems
artificial neural networks
data flow
process planning
code generation