Lógica de pruebas para certificación de computación móvil

En este trabajo se presenta un modelo para computaciones móviles que incluye la generación de certificados al estilo PCC (proof carrying code). El modelo consiste en un lenguaje de programación recortado, un sistema de tipos y una semántica basada en una máquina abstracta. El cálculo es obtenido a p...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Feller, Federico
Otros Autores: Bonelli, Eduardo
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2009
Materias:
Ciencias Informáticas
lenguaje de programación
lógica matemática y lenguajes formales
Programación
Informática
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/3958
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares