ArticlesOperational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations
Under a Creative Commons license
open access
Cited by (0)
- 1
Partially supported by the Italian MURST with the National Reserch Project “Certificazione automatica di programmi mediante interpretazione astratta”.
Copyright © 2001 Published by Elsevier B.V.