Cited By
View all- Marx SErdweg SDi Stefano L(2024)Abstract Interpretation of Java Bytecode in SturdyProceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3678721.3686226(17-22)Online publication date: 20-Sep-2024
- Michelland SZakowski YGonnord L(2024)Abstract Interpreters: A Monadic Approach to Modular VerificationProceedings of the ACM on Programming Languages10.1145/36746468:ICFP(602-629)Online publication date: 15-Aug-2024
- Lesbre DLemerre M(2024)Compiling with Abstract InterpretationProceedings of the ACM on Programming Languages10.1145/36563928:PLDI(368-393)Online publication date: 20-Jun-2024
- Show More Cited By