ezy mnogo'sciowe w pewnych teoriach r'owno'sciowych  (Make Corrections)  
Witold Charatonik Praca doktorska napisana w Instytucie Informatyki...

 @ NUS   Home/Search   Context   Related

 
View or download:
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  
(Enter summary)

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.