LART: Compiled Abstract Execution - (Competition Contribution).

Henrich Lauko Petr Rockai

Published in: TACAS (2) (2022)

Keyphrases

low level
data flow
neural network
artificial intelligence
website
case based reasoning
control flow
execution model
program execution