Observatorio de I+D+i UPM

Memorias de investigación
Cursos, seminarios y tutoriales:
El Cubo Beta
Año:2010
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
El cálculo lambda y sus estrategias de reducción han tenido un enorme impacto en el campo de los lenguajes de programación, en particular en su diseño y mecanismos de evaluación. Peter Sestoft recoge y define de forma precisa, mediante reglas big-step, las estrategias de reducción más conocidas del calculo lambda puro (sin tipos), estrategias tales como applicative order, normal order, call-by-name, call-by-value, head spine y otras menos conocidas denominadas, informalmente, híbridas. Parte de la motivación de Sestoft es precisar el significado que las estrategias usadas en programación tienen en el cálculo lambda puro, donde hay variables libres y se pueden reducir los cuerpos de funciones. Sestoft implementa cada estrategia como una función de reducción en ML. En esta charla hablaremos del trabajo realizado junto a Pablo Nogueira y Emilio Jesús gallego Arias sobre el Cubo Beta presentado en el 1st International Workshop on Strategies in Rewriting, Proving, and Programming. Este trabajo es una continuación y generalización de los esfuerzos de Sestoft.
Internacional
No
Nombre congreso
II Taller de Programación Funcional, TPF 2010
Entidad organizadora
II Taller de Programación Funcional, TPF 2010
Nacionalidad Entidad
ESPAÑA
Lugar/Ciudad de impartición
Valencia. Spain
Fecha inicio
07/09/2010
Fecha fin
07/09/2010
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Alvaro Garcia Perez (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
S2i 2022 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)