© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling
S. Genaim and A. King
Technical Report 10-02, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK., September 2002.Abstract
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.
Download publication 454 kbytes (PostScript)Bibtex Record
@techreport{1560, author = {S.~Genaim and A.~King}, title = {Goal-{I}ndependent {S}uspension {A}nalysis for {L}ogic {P}rograms with {D}ynamic {S}cheduling}, month = {September}, year = {2002}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2002/1560}, publication_type = {techreport}, submission_id = {8611_1037715387}, number = {10-02}, address = {University of Kent, Canterbury, CT2 7NF, UK.}, institution = {University of Kent, Computing Laboratory}, }