Back to Search Start Over

Adaptable Traces for Program Explanations

Authors :
Divya Bajaj
Martin Erwig
Danila Fedorin
Kai Gay
Source :
Programming Languages and Systems ISBN: 9783030890506
Publication Year :
2021
Publisher :
Springer International Publishing, 2021.

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.

Subjects

Subjects :
geography
Domain-specific language
geography.geographical_feature_category
Basis (linear algebra)
Programming language
Semantics (computer science)
Computer science
computer.software_genre
computer
Value (mathematics)
Sound (geography)

Details

ISBN :
978-3-030-89050-6
ISBNs :
9783030890506
Database :
OpenAIRE
Journal :
Programming Languages and Systems ISBN: 9783030890506
Accession number :
edsair.doi...........272f27e63a3afd591a247ae1b8b98699
Full Text :
https://doi.org/10.1007/978-3-030-89051-3_12
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details