A sound abstract interpreter for dynamic code.

Vincenzo Arceri Isabella Mastroeni

Published in: SAC (2020)

Keyphrases

source code
dynamic environments
database
real time
high level
data structure
search algorithm
production system
dynamically changing
data sets
artificial intelligence
mobile robot