Files
logseq/pages/hls__COLA-D-22-00029_R1_reviewer_1670436819946_0.md
2025-06-05 22:07:12 +02:00

13 lines
666 B
Markdown

file:: [COLA-D-22-00029_R1_reviewer_1670436819946_0.pdf](../assets/COLA-D-22-00029_R1_reviewer_1670436819946_0.pdf)
file-path:: ../assets/COLA-D-22-00029_R1_reviewer_1670436819946_0.pdf
- The results show that our representation can reduce the overall size of traces by at least 79%, which suggests that our notation is an effective improvement over the use of plain traces in the explanation of dynamic program behavior.
ls-type:: annotation
hl-page:: 6
hl-color:: yellow
id:: 6390da35-db27-4425-a531-fad3b20c6098
- quickly customize traces to their needs
ls-type:: annotation
hl-page:: 7
hl-color:: yellow
id:: 6390da60-8150-4cf8-a138-e33425690ed2