A visual notation for succinct program traces

Divya Bajaj, Martin Erwig, Danila Fedorin. A visual notation for succinct program traces. Journal of Computer Languages, 75:101199, 2023. [doi]

Authors

Divya Bajaj

This author has not been identified. Look up 'Divya Bajaj' in Google

Martin Erwig

This author has not been identified. It may be one of the following persons: Look up 'Martin Erwig' in Google

Danila Fedorin

This author has not been identified. Look up 'Danila Fedorin' in Google