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].

Fully-abstract compilation by approximate back-translation

Patrignani ,Marco;
2016-01-01

2016
Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium onPrinciples of Programming Languages, {POPL} 2016, St. Petersburg,FL, USA, January 20 - 22, 2016
St. Petersburg,FL, USA,
ACM
Devriese, Dominique; Patrignani, Marco; Piessens, Frank
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/336517
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 20
  • OpenAlex ND
social impact