Observatorio de I+D+i UPM

Memorias de investigación
Cursos, seminarios y tutoriales:
A Functional Correspondence between Parametric Evaluators and which Abstract Machines
Año:2009
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
In this talk a novel parametric evaluator for the pure lambda calculus is presented, discussing the issues regarding the semantics of the implementing language, which gets in the way when defining the semantics of the object language. Following previous work by Danvy, the possibility of deriving an abstract machine from this generic evaluator is considered.
Internacional
Si
Nombre congreso
Talk at the Algebra of Programming Group meeting
Entidad organizadora
Oxford University Computing Laboratory, UK
Nacionalidad Entidad
REINO UNIDO
Lugar/Ciudad de impartición
Oxford, UK
Fecha inicio
06/06/2009
Fecha fin
06/06/2009
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
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
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)