From eventual to atomic and locally atomic CC programs: A concurrent semantics

Bueno Carrillo, Francisco; Hermenegildo, Manuel V.; Montanari, Ugo y Rossi, Francesca (1994). From eventual to atomic and locally atomic CC programs: A concurrent semantics. En: "Algebraic and Logic Programming, 4th International Conference, ALP'94", September 14-16, 1994, Madrid, Spain. ISBN 3540584315.

Descripción

Título: From eventual to atomic and locally atomic CC programs: A concurrent semantics
Autor/es:
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
  • Montanari, Ugo
  • Rossi, Francesca
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Algebraic and Logic Programming, 4th International Conference, ALP'94
Fechas del Evento: September 14-16, 1994
Lugar del Evento: Madrid, Spain
Título del Libro: Concurrent Logic Programming as Uniform Linear Proofs
Fecha: Septiembre 1994
ISBN: 3540584315
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 (1MB) | Vista Previa

Resumen

We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurrency information derived in the semantics may be interpreted as possible parallelism, thus allowing to safely parallelize those computation steps which appear to be concurrent in the net. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it to schedule CC programs. The fact that the semantical structure contains dependency information suggests a new tell operation, which checks for consistency only the constraints it depends on, achieving a reasonable trade-off between efficiency and atomicity.

Más información

ID de Registro: 14430
Identificador DC: http://oa.upm.es/14430/
Identificador OAI: oai:oa.upm.es:14430
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 08 Feb 2013 09:55
Ultima Modificación: 21 Abr 2016 14:05
  • 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