Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling

Relatore
Andy King - University of Kent, Inghilterra

Data e ora
martedì 2 marzo 2004 alle ore 17.30

Luogo
Ca' Vignal 3 - Piramide, Piano 0, Sala Verde

Referente
Nicola Fausto Spoto

Referente esterno

Data pubblicazione
25 febbraio 2004

Dipartimento
 

Riassunto

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.
ornamento
Inizio pagina