Title: On abstracting the procedural behavior of logic programs
Authors: Janssens, Gerda ×
Bruynooghe, Maurice #
Issue Date: 1992
Publisher: Springer
Series Title: Lecture notes in computer science vol:592 pages:240-262
Conference: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, 1991.
Abstract: Abstract interpretation is a widely applied method for doing static analysis of logic programs. A diversity of formalisms and applications have appeared in the literature. This paper describes at a rather informal level our formalism based on AND-OR-graphs and compares it with the approach based on denotational semantics.
ISBN: 3-540-55460-2
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
LPAR91.pdf Published 1181KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science