Abstract
Program traces are a sound basis for explaining the dynamic behavior of programs. Alas, program traces can grow big very quickly, even for small programs, which diminishes their value as explanations.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have