Resource-oriented Programming Based on 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
|
|
|
Resource-oriented Programming Based on Linear Logic
|
| Id. |
45946946 |
| Idioma |
inglés
|
| Titulo |
Resource-oriented Programming Based on Linear Logic |
| Autor(es) |
Valerie Novitzká
Daniel Mihályi
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.125.4035
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract: In our research we consider programming as logical reasoning over types. Linear logic with its resource-oriented features yields a proper means for our approach because it enables to consider about resources as in real life: after their use they are exhausted. Computation then can be regarded as proof search. In our paper we present how space and time can be introduced into this logic and we discuss several programming languages based on linear logic.
|
| Tipo |
application/pdf
|
| 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/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.bmf.hu/journal/novitzka_mihalyi_10.pdf
[References] 10.1.1.50.9674
[References] 10.1.1.28.2136
[References] 10.1.1.132.6410
[References] 10.1.1.105.9758
[References] 10.1.1.39.3025
[References] 10.1.1.14.1648
[References] 10.1.1.43.4958
[References] 10.1.1.37.6893
|
| Fecha de contribución |
16-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
