Witold Charatonik and Jean-Marc Talbot Max-Planck Institut fur Informatik,...  Home/Search
Context Related
| mpisb.mpg.de/~witold/pap...atomproj.ps 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: mpisb.mpg.de/~witold/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We investigate a class of set constraints defined as atomic set constraints augmented with projection. This class subsumes some already studied classes such as atomic set constraints with left-hand side projection and INES constraints. All these classes enjoy the nice property that satisfiability can be tested in cubic time. This is in contrast to several other classes of set constraints, such as definite set constraints and positive set constraints, for which satisfiability ranges from... (Update)
Cited by: More
Atomic Set Constraints with Projection - Witold Charatonik And (2002) (Correct)
Active bibliography (related documents): More All
0.6: Set Constraints with Intersection - Charatonik, Podelski (Correct)
0.5: Entailment of Atomic Set Constraints is PSPACE-Complete - Niehren, Müller, Talbot (1998) (Correct)
0.4: Set Constraints: a Pearl in Research on Constraints - Pacholski, Podelski (1997) (Correct)
Similar documents based on text: More All
0.4: Solving Set Constraints for Greatest Models - Charatonik, Podelski (1997) (Correct)
0.4: Finite-Control Mobile Ambients - Witold Charatonik Andrew (2002) (Correct)
0.4: The Complexity of Model Checking Mobile Ambients - Charatonik, Zilio, Gordon.. (2000) (Correct)
BibTeX entry: (Update)
W. Charatonik and J.-M. Talbot. Atomic Set Constraints with Projection. Research Report Max-Planck-Institut fur Informatik. MPI-I-02-008, 2002. http://citeseer.ist.psu.edu/article/charatonik02atomic.html More
@misc{ charatonik02atomic,
author = "W. Charatonik and J. Talbot",
title = "Atomic Set Constraints with Projection",
text = "W. Charatonik and J.-M. Talbot. Atomic Set Constraints with Projection.
Research Report Max-Planck-Institut fur Informatik. MPI-I-02-008, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/article/charatonik02atomic.html" }
Citations (may not include all citations):132 Relationships between nondeterministic and deterministic tap.. (context) - Savitch
131 Set Based Program Analysis - Heintze - 1992
94 A Finite Presentation Theorem for Approximating Logic Progra.. - Heintze, Jaffar - 1990
76 Set constraints are the monadic class - Bachmair, Ganzinger et al. - 1993
63 Automatic computation of data set definitions (context) - Reynolds - 1969
57 The complexity of set constraints - Aiken, Kozen et al. - 1993
52 Decidability of Systems of Set Constraints with Negative Con.. - Aiken, Kozen et al. - 1995
50 Solving Systems of Set Constraints with Negated Subset Relat.. (context) - Gilleron, Tison et al. - 1993
44 Set Constraints with Projections are in NEXPTIME - Charatonik, Pacholski - 1994
42 Negative Set Constraints with Equality - Charatonik, Pacholski - 1994
39 Set constraints and set-based analysis - Heintze, Jaffar - 1994
38 Set Constraints with Intersection - Charatonik, Podelski - 1997
37 Introduction to Set Constraint-Based Program Analysis (context) - Aiken - 1999
29 Solving classes of set constraints with tree automata - Devienne, Talbot et al. - 1997
29 The complexity of subtype entailment for simple types - Henglein, Rehof - 1997
27 A Decision Procedure for a Class of Herbrand Set Constraints (context) - Heintze, Jaffar - 1990
26 Systems of Set Constraints with Negative Constraints are NEX.. (context) - Stefansson - 1994
17 Set Constraints: A Pearl in Research on Constraints - Pacholski, Podelski - 1997
16 Inclusion Constraints over Non-Empty Sets of Trees - uller, Niehren et al. - 1997
15 Set Constraints: Results (context) - Aiken - 1994
13 Co-definite Set Constraints - Charatonik, Podelski - 1998
11 Entailment of Atomic Set Constraints is PSPACEComplete - Niehren, uller et al. - 1999
11 Sorted Unification using Set Constraints - Uribe - 1992
1 Atomic Set Constraints with Projection - Charatonik, Talbot - 2002
Documents on the same site (http://www.mpi-sb.mpg.de/~witold/): More
Solving Set Constraints for Greatest Models - Charatonik, Podelski (1997) (Correct)
Set-based Error Diagnosis of Concurrent Constraint Programs - Podelski, Charatonik, Müller (1997) (Correct)
The Independence Property of a Class of Set Constraints - Charatonik, Podelski (1996) (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