Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring

Open Webpage

Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee

Published: 01 Jan 2022, Last Modified: 18 May 2025Formal Aspects Comput. 2022EveryoneRevisionsBibTeXCC BY-SA 4.0