Inferring Non-Suspension Conditions for Logic Programs with Dynamic Scheduling.

Saved in:

Bibliographic Details
Title:	Inferring Non-Suspension Conditions for Logic Programs with Dynamic Scheduling.
Authors:	GENAIM, SAMIR, genaim@gmail.com, KING, ANDY¹, A.M.King@kent.ac.uk
Source:	ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p17.1-17.43, 43p, 1 Diagram, 2 Charts
Database:	Applied Science & Technology Source

Description
ISSN:	15293785
DOI:	10.1145/1352582.1352585