Nevin Heintze, Joxan Jaffar  Home/Search
Context Related
| washington.edu/pub/const...heintze.ps.Z cmu.edu/afs/cs/user/nch/ftp...ppcp.ps.Z cmu.edu/user/nch/ftp/ppcp.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: sunsite.ust.hk/dblp/db/c...ppcp94 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper contains two main parts. The first examines the set constraint calculus, discusses its history, and overviews the current state of known algorithms and related issues. Here we will also survey the uses of set constraints, starting from early work in (imperative) program analysis, to more recent work in logic and functional programming systems. The second part describes set-based analysis. The aim here is a declarative interpretation of what it means to approximate the meaning of a... (Update)
Cited by: More
Logic Programs as Compact Denotations - Hill, Spoto (2003) (Correct)
Interconvertibility of a Class of Set Constraints and.. - Melski, Reps (1998) (Correct)
Automatic Analysis of Pointer Aliasing for Untyped Programs - Venet (1999) (Correct)
Similar documents (at the sentence level):
37.5%: Set Constraints in Program Analysis - Heintze (1993) (Correct)
Active bibliography (related documents): More All
0.9: Set Constraints: a Pearl in Research on Constraints - Pacholski, Podelski (1997) (Correct)
0.4: Ezy Mnogo'sciowe W Pewnych Teoriach R'owno'sciowych - Witold Charatonik (Correct)
0.3: Set Constraints with Intersection - Charatonik, Podelski (Correct)
Similar documents based on text: More All
0.2: A General Framework for Program Reasoning - Heintze, Jaffar, Voicu (Correct)
0.2: A Framework for Combining Analysis and Verification - Heintze, Jaffar, Voicu (2000) (Correct)
0.2: A Decision Procedure for a Class of Set Constraints (Extended .. - Heintze, Jaffar (Correct)
Related documents from co-citation: More All
15: A decision procedure for a class of set constraints - Heintze, Jaffar - 1990
13: Flow analysis and optimization of Lisp-like structures (context) - Jones, Muchnick - 1981
10: grammar and set-constraint-based program analysis by abstract interpretation (context) - Cousot, Cousot - 1995
BibTeX entry: (Update)
N. Heintze and J. Jaffar. Set constraints and set-based analysis. In Proceedings of the Workshop on Principles and Practice of Constraint Programming, LNCS 874, pages 281--298. Springer-Verlag, 1994. http://citeseer.ist.psu.edu/heintze94set.html More
@inproceedings{ heintze94set,
author = "Nevin Heintze and Joxan Jaffar",
title = "Set Constraints and Set-Based Analysis",
booktitle = "Principles and Practice of Constraint Programming",
pages = "281--298",
year = "1994",
url = "citeseer.ist.psu.edu/heintze94set.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
241 Decidability of Second-order Theories and Automata on Infini.. (context) - Rabin - 1969
207 Flow Analysis and Optimization of LISP-like Structures (context) - Jones, Muchnick - 1979
187 Type Inclusion Constraints and Type Inference - Aiken, Wimmers - 1993
165 Set-Based Analysis of ML Programs (context) - Heintze - 1994
157 Soft Typing with Conditional Types - Aiken, Wimmers et al. - 1994
131 Set-Based Program Analysis - Heintze - 1992
111 Solving Systems of Set Constraints (context) - Aiken, Wimmers - 1992
94 A Finite Presentation Theorem for Approximating Logic Progra.. - Heintze, Jaffar - 1990
91 Toward a Theory of Types in PROLOG (context) - Mishra - 1984
80 Fast and Precise Regular Approximations of Logic Programs - Gallagher, de Wall - 1994
76 Set Constraints are the Monadic Class - Bachmair, Ganzinger et al. - 1993
74 Replacing Function Parameters by Global Variables (context) - Sestoft - 1989
63 Automatic Computation of Data Set Definitions (context) - Reynolds - 1969
52 Decidability of Systems of Set Constraints with Negative Con.. - Aiken, Kozen et al. - 1993
50 Solving Systems of Set Constraints with Negated Subset Relat.. (context) - Gilleron, Tison et al. - 1993
37 Flow Analysis of Lazy Higher-Order Functional Programs (context) - Jones - 1987
34 Solving Systems of Set Constraints using Tree Automata (context) - Gilleron, Tison et al. - 1992
33 Safety Analysis versus Type Inference for Partial Types - Palsberg, Schwartzbach - 1992
32 An Engine for Logic Program Analysis - Heintze, Jaffar - 1992
29 Practical Aspects of Set-Based Analysis - Heintze - 1992
23 Separating Binding Times in Language Specifications (context) - Mogensen - 1989
21 A Backwards Analysis for Compile-Time Garbage Collection (context) - Jensen, Mogensen - 1990
19 Semantic Types for Logic Programs - Heintze, Jaffar - 1992
11 Sorted Unification using Set Constraints - Uribe - 1992
9 Set-Based Analysis of Arithmetic (context) - Heintze - 1993
4 Set Constraints in Program Analysis - Heintze - 1993
2 Negative Set Constraints: an Easy Proof of Decidability (context) - Charatonik, Pacholski - 1994
1 personal communication (context) - Pacholski - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sunsite.ust.hk/dblp/db/conf/ppcp/ppcp94.html): More
Encapsulated Search and Constraint Programming in Oz - Christian Schulte, Gert.. (1994) (Correct)
Specification and Verification of Constraint-Based Dynamic Systems - Ying Zhang (Correct)
Efficient and Complete Tests for Database Integrity.. - Gupta, Sagiv, Ullman.. (1994) (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