Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Certificate-Carrying Transformation of Event-Driven Block Programs
Yuan Si, Jialu Zhang
Block-based end-user languages such as Scratch run tens of millions of programs. Existing tools establish behavior preservation through program analysis and testing without a check…
cs.PL2026
ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs
Yuan Si, Jialu Zhang
Two Scratch programs can be syntactically far apart-renamed variables, split scripts, extracted custom blocks, or reordered initialization-and still behave identically; a one-block…