@inproceedings{436e010b3df4416e8a3b0a324981a54e,
title = "Analysis of normal logic programs",
abstract = "In this paper we present a dataflow analysis method for nor-mal logic programs interpreted with negation as failure or constructive negation. We apply our method to a well known analysis for logic pro-grams: the depth(k) analysis for approximating the set of computed answers. The analysis is correct w.r.t. SLDNF resolution and optimal w.r.t. constructive negation.",
keywords = "Abstract interpretation, Constructive negation, Logic programming, Static analysis",
author = "Fran{\c c}ois Fages and Roberta Gori",
year = "1998",
month = jan,
day = "1",
doi = "10.1007/3-540-49727-7\_5",
language = "English",
isbn = "3540650148",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "82--98",
booktitle = "Static Analysis - 5th International Symposium, SAS 1998, Proceedings",
note = "5th International Symposium on Static Analysis, SAS 1998 ; Conference date: 14-09-1998 Through 16-09-1998",
}