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…