Computable Execution Traces.

Declan Thompson

Published in: WoLLIC (2021)

Keyphrases

execution traces
source code
program comprehension
turing machine
finite sets
databases
machine learning
learning tools
software projects