Static Analysis of 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
|
|
|
Static Analysis of Linear Logic Programming
|
| Id. |
45652161 |
| Idioma |
inglés
|
| Titulo |
Static Analysis of Linear Logic Programming |
| Autor(es) |
Jean-Marc Andreoli Tiziana Castagnetti Remo Pareschi |
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.9514
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Linear Logic is gaining momentum in computer science because it offers a unified framework and a common vocabulary for studying and analyzing different aspects of programming and computation. We focus here on models where computation is identified with proof search in the sequent system of Linear Logic. A proof normalization procedure, called "focusing", has been proposed to make the problem of proof search tractable. Correspondingly, |
| 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. |
| Requerimientos técnicos |
Browser: Any |
| Relación |
[IsBasedOn] null
[References] 10.1.1.20.461
[References] 10.1.1.113.9679
[References] 10.1.1.32.9786
[References] 10.1.1.127.3782
[References] 10.1.1.16.2984
[References] 10.1.1.25.1142
[References] 10.1.1.48.5515
[References] 10.1.1.1.8163
[References] 10.1.1.35.2214
[References] 10.1.1.137.9493
[References] 10.1.1.34.2776
[References] 10.1.1.25.5188
[References] 10.1.1.24.932
[References] 10.1.1.42.8749
[References] 10.1.1.29.6210
[References] 10.1.1.134.5912
[References] 10.1.1.31.837
[References] 10.1.1.14.8458
[References] 10.1.1.15.4279
[References] 10.1.1.36.8019
[References] 10.1.1.36.7515
[References] 10.1.1.21.9951
[References] 10.1.1.43.2791
[References] 10.1.1.30.493
[References] 10.1.1.63.7524
[References] 10.1.1.22.2388
[References] 10.1.1.22.5542
[References] 10.1.1.57.6706
[References] 10.1.1.71.7582
[References] 10.1.1.77.8819
[References] 10.1.1.1.6646
|
| Fecha de contribución |
26-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|