Trace-Relating Compiler Correctness and Secure Compilation

Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect, for instance, the externally observable events of...

Descripción completa

Detalles Bibliográficos
Autores principales: Abate, Carmine, Blanco, Roberto, Ciobâcă, Ștefan, Durier, Adrien, Garg, Deepak, Hrițcu, Cătălin, Patrignani, Marco, Tanter, Éric, Thibault, Jérémy
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702255/
http://dx.doi.org/10.1007/978-3-030-44914-8_1

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702255/
http://dx.doi.org/10.1007/978-3-030-44914-8_1

Ejemplares similares