Fully-abstract compilation by approximate back-translation / Devriese, Dominique; Patrignani, Marco; Piessens, Frank. - (2016), pp. 164-177. (Intervento presentato al convegno POPL tenutosi a St. Petersburg,FL, USA nel January 20 - 22, 2016) [10.1145/2837614.2837618].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione