Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ESOP
2003
Springer

favoriteEmaildiscussreport

91views Programming Languages» more ESOP 2003»

Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling

13 years 9 months ago

Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling

Download www.clip.dia.fi.upm.es

Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial point is that the analysis does not verify (abstract) goal does not lead to suspension but rather it infers t) goals which do not lead to suspension.

Samir Genaim, Andy King

Real-time Traffic

ESOP 2003 | Goal-independent Suspension Analysis | Infers | Logic Program | Programming Languages |

claim paper

Related Content

» Declarative Semantics of Input Consuming Logic Programs

» Static analysis of interruptdriven programs synchronized via the priority ceiling protocol

» Schedulerbased DRAM energy management

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	ESOP
Authors	Samir Genaim, Andy King

Comments (0)