Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (802kB) | Vista Previa |
Functional notation and lazy evaluation in Ciao
Cita
Casas, Amadeo, Cabeza Gras, Daniel and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(2005).
Functional notation and lazy evaluation in Ciao.
En: "CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems", October 2-5, 2005, Sitges, Spain.
ORCID: https://orcid.org/0000-0002-7583-323X
(2005).
Functional notation and lazy evaluation in Ciao.
En: "CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems", October 2-5, 2005, Sitges, Spain.
Descripción
| Título: | Functional notation and lazy evaluation in Ciao |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems |
| Fechas del Evento: | October 2-5, 2005 |
| Lugar del Evento: | Sitges, Spain |
| Título del Libro: | Proceedings of CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems |
| Fecha: | 2005 |
| Materias: | |
| ODS: | |
| Palabras Clave Informales: | Declarative languages, Logic programming, Functional programming, Logic-functional programming, Lazy evaluation, Lenguajes declarativos, Programación lógica, Programación funcional, Programación lógico-funcional, Evaluación perezosa. |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
Certain aspects of functional programming provide syntactic convenience, such as having a designated implicit output argument, which allows function cali nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic functional extensión of Prolog covering function application, predefined evaluable functors, functional definitions, quoting, and lazy evaluation. The extensión is also composable with higher-order features. We also highlight the Ciao features which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.
Más información
| ID de Registro: | 14610 |
|---|---|
| Identificador DC: | https://oa.upm.es/14610/ |
| Identificador OAI: | oai:oa.upm.es:14610 |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 09 Mar 2013 23:39 |
| Ultima Modificación: | 21 Abr 2016 14:21 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
