Cargando…
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...
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: | |
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 |
Ejemplares similares
-
Compilation for secure multi-party computation
por: Büscher, Niklas, et al.
Publicado: (2017) -
Separate compilation in a Modula-2 compiler
por: Foster, D G
Publicado: (1986) -
Compiler design
por: Mohan, HS
Publicado: (2014) -
Compiler construction
por: Sunitha, K V N
Publicado: (2013) -
Compiler construction /
por: Wirth, Niklaus
Publicado: (1996)