Trace-Relating Compiler Correctness and Secure Compilation

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Carmine Abate, Roberto Blanco, Ștefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hrițcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

Journal title: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Journal number: 12075

Journal publisher: Springer International Publishing

Published year: 2020

Published pages: 1-28

DOI identifier: 10.1007/978-3-030-44914-8_1

ISBN: 978-3-030-44913-1