Genaim, S. and King, A. (2002) Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. Technical report. UKC, University of Kent, Canterbury, CT2 7NF, UK. The Computing Laboratory.
A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delay can be executed without suspension. The crucial point is that the analysis does not verify that an (abstract) goal does not lead to non-suspension but infers (abstract) goals that do not lead to non-suspension. The analysis has applications in debugging, verification and program optimisation.
|Item Type:||Monograph (Technical report)|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group|
|Depositing User:||Mark Wheadon|
|Date Deposited:||24 Nov 2008 17:59|
|Last Modified:||06 Sep 2011 01:14|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/13742 (The current URI for this page, for reference purposes)|
- Depositors only (login required):