Set Constraints with Intersection

Set Constraints with Intersection (0)

Cached

Download Links

[www.mpi-sb.mpg.de]
[www.ag2.mpi-sb.mpg.de]

Other Repositories/Bibliography

DBLP

by Witold Charatonik , Andreas Podelski

Venue:	In Proc. 12th IEEE LICS
Citations:	27 - 8 self

BibTeX

@INPROCEEDINGS{Charatonik_setconstraints,
    author = {Witold Charatonik and Andreas Podelski},
    title = {Set Constraints with Intersection},
    booktitle = {In Proc. 12th IEEE LICS},
    year = {},
    pages = {362--372},
    publisher = {IEEE}
}

Bookmark

OpenURL

Abstract

this paper.

Citations

318	P.Z.: Constraint Query Languages - Kanellakis, Kuper, et al. - 1995
186	Flow analysis and optimization of Lisplike structures - Muchnick, Jones - 1981
182	Soft typing with conditional types - Aiken, Wimmers, et al. - 1994
123	M.: Tree automata: Techniques and applications - Comon, Dauchet, et al. - 1997
94	Equations and Inequations on Finite and Infinite Trees - Colmerauer - 1984
94	Set Based Program Analysis - Heintze - 1992
94	Records for Logic Programming - Smolka, Treinen - 1992
90	Logic Programs as Types for Logic Programs - Frühwirth, Shapiro, et al. - 1991
90	A finite presentation theorem for approximating logic programs - Heintze, Jaffar - 1990
69	Set constraints: results, applications, and future directions - Aiken - 1994
68	A feature-based constraint system for logic programming with entailment - Aït-Kaci, Podelski, et al. - 1994
68	Set constraints are the monadic class - Bachmair, Ganzinger, et al. - 1993
64	Automatic computation of data set definitions - Reynolds - 1969
60	The complexity of set con-straints - Aiken, Kozen, et al. - 1993
59	Static type inference in a dynamically typed language - Aiken, Murphy - 1991
58	Declaration-free type checking - Mishra, Reddy - 1985
51	Decidability of systems of set constraints with negative constraints - Aiken, Kozen, et al. - 1995
51	A decision procedure for a class of set constraints - Heintze, Jaffar - 1990
44	A Logic Programming view of CLP - Maher - 1993
41	Haskell overloading is DEXPTIME-complete - Seidl - 1994
35	Solving systems of set constraints with negated subset relationships - Gilleron, Tison, et al. - 1993
34	A canonical form for generalized linear constraints - Lassez, McAloon - 1992
33	Set constraints and set-based analysis - HEINTZE, JAFFAR - 1994
32	Negative set constraints with equality - Charatonik, Pacholski - 1994
31	Solving systems of set constraints (extended abstract - Aiken, Wimmers - 1992
30	Set constraints with projections are in NEXPTIME - Charatonik, Pacholski - 1994
28	Set constraints: A pearl in research on constraints - Pacholski, Podelski - 1997
27	Set-based analysis of reactive infinite-state systems - Charatonik, Podelski - 1998
24	Solving systems of set constraints using tree automata - Gilleron, Tison, et al. - 1993
24	Logical aspects of set constraints - Kozen - 1994
23	Tarskian set constraints - Givan, McAllester, et al.
20	Solving classes of set constraints with tree automata - Devienne, Talbot, et al. - 1997
19	A constraint sequent calculus - Lassez, McAloon - 1990
18	Systems of set constraints with negative constraints are NEXPTIME-complete - Stefansson - 1994
18	Experience with a type evaluator - Young, O'Keefe - 1964
16	Co-definite set constraints - Charatonik, Podelski - 1998
16	Handbook of Theoretical Computer Science, volume B, chapter Automata on - Thomas - 1990
14	Constraint-based Query Optimization for Spatial Databases - Helm, Marriott, et al. - 1991
13	The horn mu-calculus - Charatonik, McAllester, et al. - 1998
13	Inclusion constraints over non-empty sets of trees - Müller, Niehren, et al. - 1997
12	Constrained dependencies - Maher - 1997
11	The independence property of a class of set constraints - Charatonik, Podelski - 1996
11	Set-based analysis for logic programming and tree automata - Devienne, Talbot, et al. - 1997
10	Set based analysis of arithmetic - Heintze - 1993
10	Sorted Unification Using Set Constraints - Uribe - 1992
9	Paths vs. trees in set-based program analysis - Charatonik, Podelski, et al. - 2000
9	shallow theories - Syntacticness - 1994
8	Entailment of atomic set constraints is PSPACE-complete - Niehren, Müller, et al. - 1999
7	Set constraints in some equational theories - Charatonik - 1998
6	Entailment and disentailment of order-sorted feature constraints - Ait-Kaci, Podelski - 1993