Reexecution in abstract interpretation of Prolog

Authors:
Baudouin Le Charlier;Pascal van Hentenryck
Affiliations:
Univ. of Namur, Namur, Belgium;Brown Univ., Providence, RI
Venue:
Acta Informatica
Year:
1995

Citing 0
Cited 3

Reexecution-Based Analysis of Logic Programs with Delay Declarations

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Sequence-based abstract interpretation of Prolog

Theory and Practice of Logic Programming
Inferring non-suspension conditions for logic programs with dynamic scheduling

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract