@article{llfac-j,
  TITLE = {{Modular, Fully-abstract Compilation by Approximate Back-translation}},
  AUTHOR = {Devriese, Dominique and Patrignani, Marco and Piessens, Frank and Keuchel, Steven},
  URL = {http://lmcs.episciences.org/4011},
  DOI = {10.23638/LMCS-13(4:2)2017},
  JOURNAL = {{Logical Methods in Computer Science}},
  VOLUME = {{Volume 13, Issue 4}},
  YEAR = {2017},
  MONTH = Oct,
  KEYWORDS = {Computer Science - Programming Languages},
}