Sciweavers

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

62

TOCL
2008

favoriteEmaildiscussreport

75views more TOCL 2008»

Inferring non-suspension conditions for logic programs with dynamic scheduling

14 years 10 months ago

Inferring non-suspension conditions for logic programs with dynamic scheduling

Download tocl.acm.org

Samir Genaim, Andy King

Real-time Traffic

TOCL 2008 |

claim paper

Related Content

» GoalIndependent Suspension Analysis for Logic Programs with Dynamic Scheduling

» Properties of inputconsuming derivations

» DETERMIN inferring likely deterministic specifications of multithreaded programs

» Unconstrained Handwritten Document Layout Extraction Using 2D Conditional Random Fields

» Dynamic Symbolic Execution for Testing Distributed Objects

» Correctness of SourceLevel Safety Policies

» Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation

» Toward Automated Detection of Logic Vulnerabilities in Web Applications

» Runtime Verification with the RV System

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	TOCL
Authors	Samir Genaim, Andy King

Comments (0)