Witold Charatonik Praca doktorska napisana w Instytucie Informatyki...  @ NUS Home/Search
Context
Related
| mpisb.mpg.de/~witold/pap...thesis.ps.Z Cached: PS.gz PS PDF Image Update Help From: mpisb.mpg.de/~witold/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Set constraints are relations between sets of ground terms over a given alphabet. They give a natural formalism for many problems in program analysis, type inference, order-sorted unification, constraint logic programming. In this paper we start studies of set constraints in the environment given by equational specifications. We show that in case of associativity (i.e., in free monoids) as well as in case of associativity and commutativity (i.e., in commutative monoids) the problem of... (Update)
Similar documents (at the sentence level):
5.3%: Negative Set Constraints With Equality - Charatonik, Pacholski (1994) (Correct)
Active bibliography (related documents): More All
0.8: Set Constraints: a Pearl in Research on Constraints - Pacholski, Podelski (1997) (Correct)
0.6: Set Constraints with Intersection - Charatonik, Podelski (Correct)
0.4: Set Constraints and Set-Based Analysis - Heintze, Jaffar (1994) (Correct)
Similar documents based on text: More All
0.9: Entailment of Atomic Set Constraints is PSPACE-Complete - Niehren, Müller, Talbot (1998) (Correct)
0.7: Entailment of Set Constraints is not Feasible - Müller, Niehren (1997) (Correct)
0.6: VII Seminarium " Warszawsko - Wroclawskie" z Teorii Informatyki - Sokolowski, al. (1993) (Correct)
BibTeX entry: (Update)
@misc{ charatonik-ezy,
author = "Witold Charatonik",
title = "Ezy Mnogo'sciowe W Pewnych Teoriach R'owno'sciowych",
url = "citeseer.comp.nus.edu.sg/137764.html" }
Citations (may not include all citations):1911 Introduction to automata theory (context) - Hopcroft, Ullman - 1979
261 An introduction to PROLOG III (context) - Colmerauer - 1990
207 Flow analysis and optimization of lisp-like structures (context) - Jones, Muchnick - 1979
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
157 Soft typing with conditional types - Aiken, Wimmers et al. - 1994
111 Solving systems of set constraints (context) - Aiken, Wimmers - 1992
94 A finite presentation theorem for approximating logic progra.. - Heintze, Jaffar - 1990
82 A decision procedure for a class of set constraints - Heintze, Jaffar - 1990
76 Set constraints are the monadic class - Bachmair, Ganzinger et al. - 1993
66 Declaration-free type checking (context) - Mishra, Reddy - 1985
63 Automatic computation of data set definitions (context) - Reynolds - 1969
58 Solvable Cases of the Decision Problem (context) - Ackermann - 1954
57 The complexity of set constraints - Aiken, Kozen et al. - 1993
53 Static type inference in a dynamically typed language - Aiken, Murphy - 1991
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
50 Implementing regular tree expressions - Aiken, Murphy - 1991
44 Set constraints with projections are in NEXPTIME - Charatonik, Pacholski - 1994
42 Negative set constraints with equality - Charatonik, Pacholski - 1994
36 Logical aspects of set constraints - Kozen - 1993
35 Complexity results for classes of quantificational formulas (context) - Lewis - 1980
34 Solving systems of set constraints using tree automata (context) - Gilleron, Tison et al. - 1993
28 Information and Computation (context) - Comon, Haberstrau et al. - 1994
26 Systems of set constraints with negative constraints are NEX.. (context) - Stefansson - 1994
23 Experience with a type evaluator (context) - Young, O'Keefe - 1988
18 Set constraints and logic programming - Kozen - 1994
12 Solvable Classes of Quantificational Formulas (context) - Dreben, Goldfarb et al. - 1979
11 Sorted unification using set constraints - Uribe - 1992
10 Decidable problems in shallow equational theories (context) - Comon, Haberstrau et al. - 1992
7 Set constraints in some equational theories (context) - Charatonik - 1994
4 Set constraints in program analysis - Heintze - 1993
1 Technical Report CMU--CS (context) - Heintze, analysis - 1993
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 at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.