Mostrar el registro sencillo del ítem

dc.contributor.author
Bonelli, Eduardo Augusto  
dc.contributor.author
Feller, Federico  
dc.date.available
2023-04-28T14:40:56Z  
dc.date.issued
2012-07  
dc.identifier.citation
Bonelli, Eduardo Augusto; Feller, Federico; Justification Logic as a foundation for certifying mobile computation; Elsevier Science; Annals Of Pure And Applied Logic; 163; 7; 7-2012; 935-950  
dc.identifier.issn
0168-0072  
dc.identifier.uri
http://hdl.handle.net/11336/195798  
dc.description.abstract
We explore an intuitionistic fragment of Artëmov's . Justification Logic as a type system for a programming language for . mobile units. Such units consist of both a code and a certificate component. Our language, the . Certifying Mobile Calculus, caters for code and certificate development in a unified theory. In the same way that mobile code is constructed out of code components and extant type systems track local resource usage to ensure the mobile nature of these components, our system . additionally ensures correct . certificate construction out of certificate components. We present proofs of type safety and strong normalization for a run-time system based on an abstract machine.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Elsevier Science  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
CURRY-DE BRUIJN-HOWARD ISOMORPHISM  
dc.subject
JUSTIFICATION LOGIC  
dc.subject
MOBILE COMPUTATION  
dc.subject
TYPED LAMBDA CALCULUS  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Justification Logic as a foundation for certifying mobile computation  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2023-04-28T10:44:48Z  
dc.journal.volume
163  
dc.journal.number
7  
dc.journal.pagination
935-950  
dc.journal.pais
Países Bajos  
dc.journal.ciudad
Amsterdam  
dc.description.fil
Fil: Bonelli, Eduardo Augusto. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina  
dc.description.fil
Fil: Feller, Federico. Universidad Nacional de La Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentina  
dc.journal.title
Annals Of Pure And Applied Logic  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0168007211001291  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.apal.2011.09.007  

Archivos asociados
Thumbnail
 
Tamaño: 314.4Kb
Formato: PDF
.