Hiord: A type-free higher-order logic programming language with predicate abstraction

Cabeza Gras, Daniel; Hermenegildo, Manuel V. y Lipton, James (2005). Hiord: A type-free higher-order logic programming language with predicate abstraction. En: "9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday", December 8-10, 2004, Chiang Mai, Thailand. ISBN 9783540240877.

Descripción

Título: Hiord: A type-free higher-order logic programming language with predicate abstraction
Autor/es:
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
  • Lipton, James
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Fechas del Evento: December 8-10, 2004
Lugar del Evento: Chiang Mai, Thailand
Título del Libro: Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Fecha: 2005
ISBN: 9783540240877
Volumen: 3321
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (764kB) | Vista Previa

Resumen

A new formalism, called Hiord, for defining type-free higherorder logic programming languages with predicate abstraction is introduced. A model theory, based on partial combinatory algebras, is presented, with respect to which the formalism is shown sound. A programming language built on a subset of Hiord, and its implementation are discussed. A new proposal for defining modules in this framework is considered, along with several examples.

Más información

ID de Registro: 14365
Identificador DC: http://oa.upm.es/14365/
Identificador OAI: oai:oa.upm.es:14365
URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-540-30502-6_7
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 27 Ene 2013 06:54
Ultima Modificación: 21 Abr 2016 14:00
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM