Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Demandedness Analysis with Partial Predicates
Year:2007
Research Areas
  • Programming language
Information
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
Participants
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Juan Jose Moreno Navarro (UPM)
Research Group, Departaments and Institutes related
  • 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 2019 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)