Analysing Switch-Case Code with Abstract Execution.

Niklas Holsti Jan Gustafsson Linus Källberg Björn Lisper

Published in: WCET (2015)

Keyphrases

code generation
high level
high speed
real world
data flow
information retrieval
artificial intelligence
response time