@misc{indiciae0815d82de0f8,
  title = {Modular, Fully-abstract Compilation by Approximate Back-translation},
  author = {Dominique Devriese and Marco Patrignani and Frank Piessens and Steven Keuchel},
  year = {2017},
  doi = {10.23638/lmcs-13(4:2)2017},
  url = {https://arxiv.org/abs/1703.09988},
  note = {Source identifier: 1703.09988}
}