Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Demandedness Analysis with Partial Predicates
Año:2007
Áreas de investigación
  • Lenguaje de programación
Datos
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
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Juan Jose Moreno Navarro (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)