Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Analyzing logic programs with dynamic scheduling
Citation
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: |
|
| 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 |
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: | https://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 |
