Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling

Supervisor
Andy King - University of Kent, Inghilterra
Date and time
Tuesday, March 2, 2004 at 5:30 PM
Place
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Nicola Fausto Spoto
External reference
Publication date
February 25, 2004
Department
 

Summary

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.





© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234