Cited By
View all- Torrens POrchard DVasconcellos C(2024)On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRsProceedings of the ACM on Programming Languages10.1145/36746308:ICFP(147-176)Online publication date: 21-Aug-2024
- Buro SCrole RMastroeni I(2023)On multi-language abstraction: Towards a static analysis of multi-language programsFormal Methods in System Design10.1007/s10703-022-00405-8Online publication date: 28-Mar-2023
- El-Korashy ABlanco RThibault JDurier AGarg DHriţcu C(2022)SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation2022 IEEE 35th Computer Security Foundations Symposium (CSF)10.1109/CSF54842.2022.9919680(64-79)Online publication date: Aug-2022
- Show More Cited By