Login / Signup

Modular, Fully-abstract Compilation by Approximate Back-translation.

Dominique DevrieseMarco PatrignaniFrank PiessensSteven Keuchel
Published in: Log. Methods Comput. Sci. (2017)
Keyphrases