Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2019-10-30T16:00:18Z
dc.date.available 2019-10-30T16:00:18Z
dc.date.issued 2012-07
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/84399
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. en
dc.format.extent 935-950 es
dc.language en es
dc.subject Curry-de Bruijn-Howard isomorphism es
dc.subject Justification Logic es
dc.subject Mobile computation es
dc.subject Typed lambda calculus es
dc.subject Lógica es
dc.title Justification Logic as a foundation for certifying mobile computation en
dc.type Articulo es
sedici.identifier.other http://dx.doi.org/10.1111/j.1574-695x.2012.00985.x es
sedici.identifier.issn 0168-0072 es
sedici.creator.person Bonelli, Eduardo es
sedici.creator.person Feller, Federico es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution 4.0 International (CC BY 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by/4.0/
sedici.description.peerReview peer-review es
sedici.relation.journalTitle Annals of Pure and Applied Logic es
sedici.relation.journalVolumeAndIssue vol. 163, no. 7 es
sedici.rights.sherpa * Color: verde* Pre-print del autor: si* Post-print del autor: si* Versión de editor/PDF:no* Condiciones:>>Authors pre-print on any website, including arXiv and RePEC>>Author's post-print on author's personal website immediately>>Author's post-print on open access repository after an embargo period of between 12 months and 48 months>>Permitted deposit due to Funding Body, Institutional and Governmental policy or mandate, may be required to comply with embargo periods of 12 months to 48 months>>Author's post-print may be used to update arXiv and RepEC>>La versión de editor/PDF no puede utilizarse>>Debe enlazar a la versión de editor con DOI>>Author's post-print must be released with a Creative Commons Attribution Non-Commercial No Derivatives License>>Publisher last reviewed on 01/05/2015* Link a Sherpa: http://sherpa.ac.uk/romeo/issn/0168-0072/es/


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (341.5Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution 4.0 International (CC BY 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution 4.0 International (CC BY 4.0)