Sashi Novitasari, Takashi Fukuda, et al.
INTERSPEECH 2025
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.
Sashi Novitasari, Takashi Fukuda, et al.
INTERSPEECH 2025
Shuang Chen, Herbert Freeman
International Journal of Pattern Recognition and Artificial Intelligence
Arnon Amir, Michael Lindenbaum
IEEE Transactions on Pattern Analysis and Machine Intelligence
Jungo Kasai, Kun Qian, et al.
ACL 2019