logseq/pages/hls__COLA-D-22-00029_R1_reviewer_1670436819946_0.md

file:: 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