Michael Codish, Bart Demoen, Konstantinos Sagonas  Home/Search
Context Related
| cs.kuleuven.ac.be/~dtai/pu...2715.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kuleuven.ac.be/...1998E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This article describes a simple and ecient way of using a logic programming language with built-in tabulation for general purpose semantics-based program analysis. The simplicity of the method is based on a clear separation of abstraction and control: conceptually, a concrete program is executed over an abstract domain and the tabulation mechanism avoids recomputation, ensures termination and collects the results of the analysis. The efficiency derives from the fact that an abstract interpreter ... (Update)
Context of citations to this paper: More
.... range of application areas, such as parsing, deductive databases [SSW94] program analysis 1 based on abstract interpretation [DRW96, CDS98, JS98] and, recently, veri cation through model checking [RRR 97, CDD 98] The most practical implementation of tabling is found...
.... in a wide range of application areas such as parsing, deductive databases [18] program analysis based on abstract interpretation [5, 3, 12], and recently verification through model checking [14, 4] The most practical implementation of tabling is found in XSB [18] it...
Cited by: More
Constraint Handling Rules and Tabled Execution - Schrijvers, Warren (2004) (Correct)
Heap Memory Management in Prolog with Tabling: Principles and .. - Demoen, Sagonas (Correct)
A Polyvariant Binding-Time Analysis for Off-line Partial .. - Bruynooghe, Leuschel.. (1998) (Correct)
Similar documents (at the sentence level):
37.9%: Semantic-Based Program Analysis for Logic-Based Languages.. - Codish, Demoen, Sagonas (1998) (Correct)
Active bibliography (related documents): More All
0.4: A Simple Polynomial Groundness Analysis For Logic Programs - Heaton, Abo-Zaed, Codish.. (2000) (Correct)
0.4: Combinations of Abstract Domains for Logic.. - Cortesi, Le.. (2000) (Correct)
0.3: Exploiting Goal Independence in the Analysis of Logic.. - Codish, Bruynooghe.. (1997) (Correct)
Similar documents based on text: More All
0.2: Tuple Tabulation - Azevedo (Correct)
0.2: CAT: the Copying Approach to Tabling - Demoen, Sagonas (1998) (Correct)
0.2: Memory Management for Prolog with Tabling - Demoen (1998) (Correct)
Related documents from co-citation: More All
7: Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren - 1996
5: Practical Program Analysis Using General Purpose Logic Programming Systems --- A.. (context) - Dawson, Ramakrishnan et al. - 1996
3: the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equa.. (context) - Janssens, Sagonas - 1998
BibTeX entry: (Update)
M. Codish, B. Demoen, and K. Sagonas. Semantics-Based Program Analysis for Logic-Based Languages using XSB. Springer International Journal of Software Tools for Technology Transfer, Aug./Sept. 1998. To appear. http://citeseer.ist.psu.edu/article/codish98semanticsbased.html More
@article{ codish98semanticsbased,
author = "Michael Codish and Bart Demoen and Konstantinos F. Sagonas",
title = "Semantics-Based Program Analysis for Logic-Based Languages Using {XSB}",
journal = "International Journal on Software Tools for Technology Transfer",
volume = "2",
number = "1",
pages = "29-45",
year = "1998",
url = "citeseer.ist.psu.edu/article/codish98semanticsbased.html" }
Citations (may not include all citations):395 An Abstract Prolog Instruction Set (context) - Warren - 1983
193 Abstract Interpretation: A Unied Lattice Model for Static An.. (context) - Cousot, Cousot - 1977
142 Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren - 1996
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
108 A Practical Framework for the Abstract Interpretation of Log.. (context) - Bruynooghe - 1991
105 Compile-time Derivation of Variable Dependency using Abstrac.. - Muthukumar, Hermenegildo - 1992
88 Static Analysis of Logic Programs for Independent And-Parall.. (context) - Jacobs, Langen - 1992
80 Fast and Precise Regular Approximations of Logic Programs - Gallagher, de Waal - 1994
79 Static Inference of Modes and Data Dependencies in Logic Pro.. - Debray - 1989
58 Memoing for Logic Programs (context) - Warren - 1992
53 Bottom-up Abstract Interpretation of Logic Programs (context) - Codish, Dams et al. - 1994
52 Global Flow Analysis as a Practical Compilation Tool - Hermenegildo, Warren et al. - 1992
51 Automatic Mode Inference for Logic Programs - Debray, Warren - 1988
48 A General Framework for Semantics-based Bottom-up Abstract I.. - Barbuti, Giacobazzi et al. - 1993
48 Abstract Interpretation of Prolog Programs (context) - Mellish - 1986
38 Unication Theory - Baader, Siekmann - 1994
38 Practical Program Analysis Using General Purpose Logic Progr.. (context) - Dawson, Ramakrishnan et al. - 1996
36 Deriving Polymorphic Type Dependencies for Logic Programs Us.. - Codish, Demoen - 1994
31 Directional Type Checking of Logic Programs - Aiken, Lakshman - 1994
30 Optimal Groundness Analysis using Propositional Logic (context) - Cortesi, Fil et al. - 1996
28 An Abstract Machine for Tabled Execution of Fixed-Order Stra.. (context) - Sagonas, Swift - 1998
27 XSB as an Ecient Deductive Database Engine (context) - Sagonas, Swift et al. - 1994
27 Directional Types and the Annotation Method - Boye, luszy - 1997
22 Experimental Evaluation of a Generic Abstract Interpretation.. (context) - Le Charlier, Van Hentenryck - 1994
19 A Blueprint for an Abstract Machine for Abstract Interpretat.. (context) - Janssens, Bruynooghe et al. - 1995
18 Precise and Ecient Groundness Analysis for Logic Programs (context) - Marriott, ndergaard - 1993
14 Generic Abstract Interpretation Algorithms for Prolog: Two O.. - Englebert, Le Charlier et al. - 1993
14 A Reactive Implementation of Pos using ROBDDs - Bagnara - 1996
13 An Algebraic Approach to Sharing Analysis of Logic Programs - Codish, Lagoon et al. - 1997
11 Evaluation of the Domain Prop (context) - Van Hentenryck, Cortesi et al. - 1995
11 Type Dependencies for Logic Programs using ACI-unication (context) - Codish, Lagoon - 1996
9 Detection and Optimization of Functional Computations in Pro.. (context) - Debray, Warren - 1986
9 Exploiting Goal Independence in the Analysis of Logic Progra.. - Codish, Bruynooghe et al. - 1997
9 Intuitionistic Implication in Abstract Interpretation (context) - Giacobazzi, Scozzari - 1997
8 The SSemantics Approach: Theory and Applications - Bossi, Gabrielli et al. - 1994
8 Ecient Tabling Mechanisms for Logic Programs (context) - Ramakrishnan, Rao et al. - 1995
8 Understanding Finiteness Analysis using Abstract Interpretat.. (context) - Bigot, Debray et al. - 1992
8 Analysing Logic Programs using \Prop (context) - Codish, Demoen - 1995
7 A Polyvariant Binding Time Analysis for O -line Partial Dedu.. (context) - Bruynooghe, Leuschel et al. - 1998
6 The Impact of Granularity in Abstract Interpretation of Prol.. (context) - Van Hentenryck, Degimbe et al. - 1993
5 The PLAI Abstract Interpretation System (context) - Bueno, Garc et al. - 1994
5 A Freeness and Sharing Analysis of Logic Programs Based on a.. - Bruynooghe, Demoen et al. - 1996
4 Beyond Depth-First Strategies: Improving Tabled Logic Progra.. (context) - Freire, Swift et al. - 1998
4 Bottom-Up Data ow Analysis of Normal Logic Programs (context) - Marriott, ndergaard - 1992
4 the Use of Tabling for Abstract Interpretation: An Experimen.. (context) - Janssens, Sagonas - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/1998-E.shtml): More
Creating Specialised Integrity Checks Through Partial.. - Leuschel, De Schreye (1998) (Correct)
Detecting Unsolvable Queries for Definite Logic Programs - Bruynooghe.. (1998) (Correct)
Bottom-up Specialisation of Logic Programs - Vanhoof, De Schreye, Martens (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC