Operational Interpretations of Linear Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Operational Interpretations of Linear Logic
|
| Id. |
46214091 |
| Idioma |
inglés
|
| Titulo |
Operational Interpretations of Linear Logic |
| Autor(es) |
David N. Turner
Philip Wadler
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.9255
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Two different operational interpretations of intuitionistic linear logic have been proposed in the literature. The simplest interpretation recomputes non-linear values every time they are required. It has good memory-management properties, but is often dismissed as being too inefficient. Alternatively, one can memoize the results of evaluating non-linear values. This avoids any recomputation, but has weaker memory-management properties. Using a novel combination of type-theoretic and operational techniques we give a concise formal comparison of the two interpretations. Moreover, we show that there is a subset of linear logic where the two operational interpretations coincide. In this subset, which is sufficiently expressive to encode call-by-value lambda-calculus, we can have the best of both worlds: a simple and efficient implementation, and good memorymanagement properties. Keywords: linear logic, operational semantics, call-byvalue lambda calculus, memory management. 1 Introductio...
|
| Tipo |
application/postscript
|
| Palabras clave |
linear logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.research.avayalabs.com/user/wadler/topics/../papers/linearop/linearop.ps.gz
[References] 10.1.1.16.2984
[References] 10.1.1.31.5002
[References] 10.1.1.22.8069
[References] 10.1.1.84.4100
[References] 10.1.1.50.6842
[References] 10.1.1.13.7158
[References] 10.1.1.36.3338
[References] 10.1.1.2.4310
[References] 10.1.1.17.935
[References] 10.1.1.19.4622
[References] 10.1.1.33.8545
[References] 10.1.1.45.6287
[References] 10.1.1.53.3438
[References] 10.1.1.23.4398
[References] 10.1.1.12.4086
[References] 10.1.1.33.4591
[References] 10.1.1.38.895
[References] 10.1.1.14.6010
[References] 10.1.1.14.4872
[References] 10.1.1.10.6349
[References] 10.1.1.87.3308
[References] 10.1.1.46.2149
[References] 10.1.1.59.1132
[References] 10.1.1.64.4944
[References] 10.1.1.65.1947
[References] 10.1.1.139.731
[References] 10.1.1.13.6275
[References] 10.1.1.6.9493
[References] 10.1.1.60.6771
[References] 10.1.1.140.3889
|
| Fecha de contribución |
22-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
