Matteo Baldoni, Nirmit Desai, et al.
AAMAS 2009
Paper
Path Calculus in Program Verification
Abstract
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.
Related
Kaiyuan Zhang, Guanhong Tao, et al.
ICLR 2023
Sashi Novitasari, Takashi Fukuda, et al.
INTERSPEECH 2025
Workshop paper
Extracting Verb Sense Hierarchies from FrameNet
Ran Iwamoto, Kyoko Ohara
ICLC 2023