Ordered Linear Logic Programming
|
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
|
|
|
Ordered Linear Logic Programming
|
| Id. |
46393980 |
| Idioma |
inglés
|
| Titulo |
Ordered Linear Logic Programming |
| Autor(es) |
Jeff Polakow
Frank Pfenning
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.5017
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We begin with a review of intuitionistic non-commutative linear logic (INCLL), a refinement of linear logic with an inherent notion of order proposed by the authors in prior work. We then develop a logic programming interpretation for INCLL in two steps: (1) we give a system of ordered uniform derivations which is sound and complete with respect to INCLL, and (2) we present a model of resource consumption which removes non-determinism from ordered resource allocation during search for uniform derivations. We also illustrate the expressive power of the resulting ordered linear logic programming language through some examples, including programs for merge sort, insertion sort, and natural language parsing. 1 The authors can be reached at jpolakow@cs.cmu.edu and fp@cs.cmu.edu. This work was sponsored NSF Grants CCR-9804014 and CCR-9619584. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, ei...
|
| Tipo |
application/postscript
|
| Palabras clave |
Intuitionistic Non-Commutative 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.lb.cs.cmu.edu/Groups/fox/people/fp/papers/CMU-CS-98-183.ps
[References] 10.1.1.105.9987
[References] 10.1.1.28.2136
[References] 10.1.1.25.1142
[References] 10.1.1.43.4232
[References] 10.1.1.135.1566
[References] 10.1.1.40.5019
[References] 10.1.1.36.5390
[References] 10.1.1.51.7430
[References] 10.1.1.36.5486
[References] 10.1.1.36.5390
[References] 10.1.1.67.2862
[References] 10.1.1.36.5486
[References] 10.1.1.4.5839
[References] 10.1.1.23.1508
[References] 10.1.1.71.1971
[References] 10.1.1.57.6545
[References] 10.1.1.5.6794
|
| Fecha de contribución |
24-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
