Representing and Reasoning about Dynamic Code.

Jesse Bartels Jon Stephens Saumya Debray

Published in: CoRR (2019)

Keyphrases

dynamic environments
data sets
qualitative reasoning
source code
dynamically changing
error correcting