Program Execution Monitoring for Better Understanding and Debugging: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 14:5214:52, 24 December 2023SatoshiNakamoto talk contribs 1,988 bytes +1,988 Created page with "Title: Program Execution Monitoring for Better Understanding and Debugging Main Research Question: How can program execution monitoring be used to enhance understanding and debugging of programs, and what are the implications for software development and maintenance? Methodology: The researchers proposed a high-level primitive called "foldt" that operates on execution traces. This primitive allows for the easy creation of monitors for Mercury program executions, includ..."