Conference paper
SMTP path analysis
Barry Leiba, Joel Ossher, et al.
CEAS 2005
Paper
Analysis of Pointers and Structures
Abstract
Click link to view paper
Related
Conference paper
L2-nonexpansive neural networks
Haifeng Qian, Mark Wegman
ICLR 2019
Mark Wegman, James Kozloski
AAAI 2023
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS