Video
Unknown · 0:00
This talk argues that program analyses should behave predictably under program transformations, and presents a category-theoretic framework ("robustness") to formally define and design analyses that preserve relations...
Unknown · 0:00
This talk argues that program analyses should behave predictably under program transformations, and presents a category-theoretic framework ("robustness") to formally define and design analyses that preserve relations...
Redirecting...