|
Descripción
|
|
|---|---|
| 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. | |
|
Internacional
|
Si |
|
JCR del ISI
|
Si |
|
Título de la revista
|
THEOR PRACT LOG PROG |
|
ISSN
|
1471-0684 |
|
Factor de impacto JCR
|
0,778 |
|
Información de impacto
|
|
|
Volumen
|
7 |
|
DOI
|
|
|
Número de revista
|
2 |
|
Desde la página
|
153 |
|
Hasta la página
|
182 |
|
Mes
|
ENERO |
|
Ranking
|
|