A Higher Order Rewriting Logic for Functional Logic Programming
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A Higher Order Rewriting Logic for Functional Logic Programming
|
| Id. |
46673705 |
| Idioma |
inglés
|
| Titulo |
A Higher Order Rewriting Logic for Functional Logic Programming |
| Autor(es) |
J. Carlos Gonzalez-moreno
M. Teresa Hortala-gonzalez
Mario Rodríguez-Artalejo
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.6013
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
According to a well known conception, programs in a declarative programming language can be viewed as theories in some suitable logic, while computations can be viewed as deductions. In our opinion, there is yet no general assent on the logic to be viewed as the foundation of higher order, lazy functional logic languages. In this paper, we argue that a specific rewriting logic can play this role, and we justify the adequacy of our proposal by means of proof-theoretical and model-theoretical results. Moreover, we present a sound and complete lazy narrowing calculus for goal solving, and we discuss a circuit synthesis problem that illustrates the expressiveness of our approach. This example has been tested in an implemented system. KEYWORDS: Functional logic programming, non-deterministic functions, higher-order rewriting logic, lazy narrowing. 1 Introduction The interest in multiparadigm declarative programming has grown over the last two decades, giving rise to different approaches t...
|
| Tipo |
application/postscript
|
| Palabras clave |
Functional logic programming
|
| 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://mozart.sip.ucm.es/papers/1997/iclp97.ps.gz
[References] 10.1.1.105.9987
[References] 10.1.1.10.5621
[References] 10.1.1.48.7441
[References] 10.1.1.50.7021
[References] 10.1.1.52.1234
[References] 10.1.1.67.3397
[References] 10.1.1.115.6133
[References] 10.1.1.49.9318
[References] 10.1.1.108.9028
[References] 10.1.1.6.8431
[References] 10.1.1.54.3083
[References] 10.1.1.108.5776
[References] 10.1.1.105.907
[References] 10.1.1.23.7623
[References] 10.1.1.73.351
[References] 10.1.1.83.51
[References] 10.1.1.97.2172
[References] 10.1.1.99.4349
[References] 10.1.1.116.246
[References] 10.1.1.128.2830
[References] 10.1.1.103.7852
[References] 10.1.1.52.8962
[References] 10.1.1.35.5998
[References] 10.1.1.37.6066
|
| Fecha de contribución |
04-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
