Patrignani, Marco Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
1703.09988.pdf (Publisher version), 643KB
Devriese, D., Patrignani, M., Piessens, F., & Keuchel, S. (2017). Modular, Fully-abstract Compilation by Approximate Back-translation. Logical Methods in Computer Science, 13(4): 4011, pp. 1-38. doi:10.23638/LMCS-13(4:2)2017.