|
1.
|
CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Bavera, Francisco - Nordio, Martín - Medel, Ricardo - Aguirre, Jorge - Baum, Gabriel Alfredo
| Formato: |
Objeto de conferencia, Objeto de conferencia |
| Enlaces: |
 
Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotated program written in some intermediate language.…
|
| Fecha: |
2012-10-26 |
| Recurso: |
Unversidad Nacional de La Plata |
|
