|
Abstract
|
|
|---|---|
| El análisis de demanda pretende determinar en tiempo de compilación qué cálculos van a ser realmente utilizados durante la ejecución de un programa. Esta información puede ser muy relevante para la implementación de lenguajes lógico-funcionales. Este trabajo propone un marco semántico de predicados parciales, que podríamos ver como realizaciones constructivas de ideales sobre un cierto dominio. Con esto conseguimos dar una presentación concisa y unificada de una familia de análisis de demanda, relacionarlo con otras propuestas, ideas para su implementación y, finalmente, demostrar la corrección de una propuesta anterior basada en la resolución de ecuaciones de demanda. | |
|
International
|
Si |
|
JCR
|
Si |
|
Title
|
THEOR PRACT LOG PROG |
|
ISBN
|
1471-0684 |
|
Impact factor JCR
|
0,778 |
|
Impact info
|
|
|
Volume
|
7 |
|
|
|
|
Journal number
|
2 |
|
From page
|
153 |
|
To page
|
182 |
|
Month
|
ENERO |
|
Ranking
|
|