Analyzing logic programs with dynamic scheduling

Marriott, K. and García de la Banda, M. and Hermenegildo, Manuel V. (1994). Analyzing logic programs with dynamic scheduling. In: "21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages", January 17-21, 1994, Portland, Oregon. ISBN 0897916360.

Description

Title: Analyzing logic programs with dynamic scheduling
Author/s:
  • Marriott, K.
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Event Dates: January 17-21, 1994
Event Location: Portland, Oregon
Title of Book: POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Date: 1994
ISBN: 0897916360
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

Traditional logic programming languages, such as Prolog, use a fixed left-to-right atom scheduling rule. Recent logic programming languages, however, usually provide more flexible scheduling in which computation generally proceeds leftto- right but in which some calis are dynamically "delayed" until their arguments are sufRciently instantiated to allow the cali to run efficiently. Such dynamic scheduling has a significant cost. We give a framework for the global analysis of logic programming languages with dynamic scheduling and show that program analysis based on this framework supports optimizations which remove much of the overhead of dynamic scheduling.

More information

Item ID: 14455
DC Identifier: http://oa.upm.es/14455/
OAI Identifier: oai:oa.upm.es:14455
Official URL: http://dl.acm.org/citation.cfm?id=177883
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 12 Feb 2013 07:52
Last Modified: 21 Apr 2016 14:08
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM