Concurrent Logic Programming as Uniform Linear Proofs
|
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
|
|
|
Concurrent Logic Programming as Uniform Linear Proofs
|
| Id. |
46630788 |
| Idioma |
inglés
|
| Titulo |
Concurrent Logic Programming as Uniform Linear Proofs |
| Autor(es) |
Paolo Volpe
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.4277
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We describe a formalism based on the proof theory of linear logic, whose aim is to specify concurrent computations and whose language restriction (as compared to other linear logic languages) provides a simpler operational model that can lead to a more practical language core. The fragment is proved to be an abstract logic programming language, that is any sequent can be derived by uniform proofs. The resulting class of computations can be viewed in terms of multiset rewriting and is reminiscent of the computations arising in the Chemical Abstract Machine and in the Gamma model. The fragment makes it possible to give a logic foundation to existing extensions of Horn clause logic, such as Generalized Clauses, whose declarative semantics is based on an ad hoc construction. Programs and goals can declaratively be characterized by a suitable instance of the phase semantics of linear logic. A canonical phase model is associated to every program. Such a model gives a full characterization of...
|
| 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.di.unipi.it/~volpep/LC/LC.ps.gz
[References] 10.1.1.113.9679
[References] 10.1.1.105.9987
[References] 10.1.1.28.2136
[References] 10.1.1.52.8407
[References] 10.1.1.24.932
[References] 10.1.1.42.8749
[References] 10.1.1.30.5874
[References] 10.1.1.43.3095
[References] 10.1.1.32.9999
[References] 10.1.1.31.6610
[References] 10.1.1.37.3912
[References] 10.1.1.53.681
[References] 10.1.1.49.2603
[References] 10.1.1.68.6794
[References] 10.1.1.31.6272
[References] 10.1.1.41.5961
|
| Fecha de contribución |
31-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
