Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
A Generic Semantics for Constraint Functional Logic Programming
Año:2007
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Proponemos una semántica operacional para programas lógico funcionales perezosos con restricciones que es genérica en tanto que permite la integración de diferentes resolvedores de restricciones en un núcleo común de una manera bastante limpia. El diseño de esta semántica trata de satisfacer dos principios aparentemente contradictorios: la necesidad de dar soporte a la evaluación perezosa desde el resolvedor de restricciones y el principio de caja negra aplicado al diseño de la relación entre el resolvedor y el motor de inferencia.
Internacional
Si
Nombre congreso
16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)
Tipo de participación
960
Lugar del congreso
París, Francia
Revisores
Si
ISBN o ISSN
Preprints publicadas
DOI
Fecha inicio congreso
25/06/2007
Fecha fin congreso
25/06/2007
Desde la página
Hasta la página
Título de las actas
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: José María Rey Poza (Telefónica I+D)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Emilio Jesús Gallego Arias (Grupo de Investigación BABEL. Facultad de Informática, 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)