Articles
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations

https://doi.org/10.1016/S1571-0661(04)00148-3Get rights and content
Under a Creative Commons license
open access

Abstract

We draw concrete and abstract operational semantics towards the analysis of logic programs with delay declarations. This is the basis to generalize the abstract interpreter GAIA to deal with logic programs employing dynamic scheduling. The concrete and abstract semantics are introduced explicitly and express both deadlock information and qualified answers. Sure deadlock and sure no deadlock information might be eventually inferred by the resulting analysis.

Cited by (0)

1

Partially supported by the Italian MURST with the National Reserch Project “Certificazione automatica di programmi mediante interpretazione astratta”.