Modular, fully-abstract compilation by approximate back-translation

Devriese, DominiqueDominiqueDevriesePatrignani, MarcoMarcoPatrignaniPiessens, FrankFrankPiessensKeuchel, StevenStevenKeuchel2021-10-242021-10-2420171860-5974https://imec-publications.be/handle/20.500.12860/28234Modular, fully-abstract compilation by approximate back-translationJournal articleDOI : 10.23638/LMCS-13(4:2)2017