OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Subject: International Security Subject: Compilers Document Type: Sin Especificar Year: 2012

Sort by Score Title Year -

1-2 from 2 results (0.009 seconds)

Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

Acceder
Title: Análisis de flujo de control y código móvil seguro : ¿Una alternativa prometedora?
Author: Bavera, Francisco / Nordio, Martín / Aguirre, Jorge
Language: Español
Repository: 37
Subject: Ciencias Informáticas / análisis estático / Security / verificación de código / Compilers / certificación de código

Acceder

« Previous 1 Next »