(Extended  Home/Search
Context
Related
| cmu.edu/afs/cs/user/...genericclp.ps.Z 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: cmu.edu/afs/cs/user/nch/ftp/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) Nevin Heintze y and Joxan Jaffar z June 13, 1995 Logic program analyzers typically employ abstract interpretation and consist of two main components: an abstract domain and a generic iterative fixed-point computation or "engine". In earlier work, we presented a new engine based on an unfolding operation, and showed that it was uniformly more accurate than the standard engine. This unfolding engine however had a crucial limitation: it could not be generalized to constraint logic programming ... (Update)
Similar documents (at the sentence level):
7.0%: An Engine for Logic Program Analysis - Heintze, Jaffar (1992) (Correct)
Active bibliography (related documents): More All
1.1: A Generic Algorithm for CLP Analysis - Nevin Heintze School (1995) (Correct)
0.3: Bottom-up Evaluation of Datalog Programs with Arithmetic.. - Laurent Fribourg (1992) (Correct)
0.1: Source to Source Optimizations of CLP(R Lin ) - Ramachandran, Van Hentenryck (1995) (Correct)
Similar documents based on text: More All
0.1: A Framework for Combining Analysis and Verification - Heintze, Jaffar, Voicu (2000) (Correct)
0.1: A General Framework for Program Reasoning - Heintze, Jaffar, Voicu (Correct)
0.1: A Decision Procedure for a Class of Set Constraints (Extended .. - Heintze, Jaffar (Correct)
BibTeX entry: (Update)
@misc{ ed-generic,
author = "Exte Nd Ed",
title = "A Generic Algorithm for CLP Analysis",
url = "citeseer.ist.psu.edu/211250.html" }
Citations (may not include all citations):815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1990
131 Set Based Program Analysis - Heintze - 1992
94 A Finite Presentation Theorem for Approximating Logic Progra.. - Heintze, Jaffar - 1990
70 A Semantics-based Framework for the Abstract Interpretation .. (context) - Jones, Sondergaard - 1987
41 Analysis of Constraint Logic Programs (context) - Marriott, Sondergaard - 1990
32 An Engine for Logic Program Analysis - Heintze, Jaffar - 1992
27 A Decision Procedure for a Class of Herbrand Set Constraints (context) - Heintze, Jaffar - 1990
26 The CLP(R) Language and System (context) - Jaffar, Michaylov et al. - 1992
10 A Practical Approach to the Global Analysis of CLP Programs - de la, Hermenegildo - 1993
3 The 3 R's of Optimizing Constraint Logic Programs: Refinment.. (context) - Marriot, Stuckey - 1993
2 LSign: Approximating Possible Interaction between Linear Ari.. (context) - Marriot, Stuckey - 1994
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/nch/ftp/): More
A Model for Secure Protocols and Their Compositions (Extended .. - Heintze, Tygar (Correct)
An Engine for Logic Program Analysis - Heintze, Jaffar (1992) (Correct)
Semantic Types for Logic Programs - Heintze, Jaffar (1992) (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