Paper
Magic functions
Cynthia Dwork, Moni Naor, et al.
Journal of the ACM
A method for proving and disprowng propemes of programs ts described Its mam features are Recurstvely defined procedures can be used m assemons, loop mvarlants are not necessary, absence of run time errors is proven, counterexamples to incorrect programs can be given Experience with the method's lmplementaUon is reported. © 1978, ACM. All rights reserved.
Cynthia Dwork, Moni Naor, et al.
Journal of the ACM
Rie Kubota Ando
CoNLL 2006
Alex Golts, Daniel Khapun, et al.
MICCAI 2021
Guojing Cong, David A. Bader
Journal of Parallel and Distributed Computing