Cited By
View all- Monat ROuadjaout AMiné A(2025)Easing maintenance of academic static analyzersInternational Journal on Software Tools for Technology Transfer10.1007/s10009-024-00770-1Online publication date: 14-Jan-2025
- Germane K(2025)Full Control-Flow Sensitivity for Definitional InterpretersStatic Analysis10.1007/978-3-031-74776-2_5(120-146)Online publication date: 21-Jan-2025
- Halalingaiah SSundaresan VMaier DNandivada V(2024)The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and EfficientlyProceedings of the ACM on Programming Languages10.1145/36898038:OOPSLA2(2606-2632)Online publication date: 8-Oct-2024
- Show More Cited By