Skip to main content
Conference Proceedings

A mode analysis of logic programs by abstract interpretation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1996) 1181 362-373
DOI: 10.1007/3-540-62064-8_30
0Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

Abstract

This paper presents a mode analysis of logic programs by means of abstract interpretation. Mode information is inferred together with sharing and aliasing information. Aliasing information is used to improve accuracy of analysis whilst sharing information is used to ensure the safety of analysis.

Author supplied keywords

Cite

CITATION STYLE

APA

Lu, L. (1996). A mode analysis of logic programs by abstract interpretation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1181, pp. 362–373). Springer Verlag. https://doi.org/10.1007/3-540-62064-8_30

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free