Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 4

Title: Solving Systems of Set Constraints (Extended Abstract)

Subject: Solving Systems of Set Constraints (Extended Abstract)

Description: ) Alexander Aiken Edward L. Wimmers IBM Almaden Research Center 650 Harry Rd. San Jose, CA 95120 phone: 408/927-1876 or 927-1882 email: lastname@almaden.ibm.com fax: 408/927-2100 Abstract Systems of set constraints are a natural formalism for many problems in program analysis. Set constraints are also a generalization of tree automata. We present an algorithm for solving systems of set constraints built from free variables, constructors, and the set operations of intersection, union, and complement. Furthermore, we show that all solutions of such systems can be finitely represented. 1 1 Introduction Set constraints are a natural formalism for describing relationships between sets of terms of a free algebra. A set constraint has the form X ` Y , where X and Y are set expressions. Examples of set expressions are 0 (the empty set), 1 (the set of all terms), ff (a set-valued variable), c(X; Y ) (a constructor application) , and the union, intersection, or complement of set expressi...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1993-12-31

Pubyear: 1992

Format: ps

Identifier: http://citeseer.ist.psu.edu/149223.html

Source: http://http.cs.berkeley.edu/~aiken/ftp/lics92.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/98298.html"   Type="inproceedings"   CiteSeer_Book="5th   ACM   Conference   on   Functional   Programming   Languages   and   Computer   Architecture"   CiteSeer_Volume=""   Title="{Implementing   Regular   Tree   Expressions},">

            <identifier   Org="ISBN:0818631406"   Paper_ID="/98298.html"   Extracted="0818631406"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/98298.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/98298.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0897915941"   Paper_ID="/98298.html"   Extracted="0897915941"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540237240"   Paper_ID="/98298.html"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540441859"   Paper_ID="/98298.html"   Extracted="3540441859"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540543961"   Paper_ID="/98298.html"   Extracted="3540543961"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/98298.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354058403X"   Paper_ID="/98298.html"   Extracted="354058403X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/98298.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540600442"   Paper_ID="/98298.html"   Extracted="3540600442"   DDC="006.4"   Normalized_DDC="0064"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/98298.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/98298.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540662014"   Paper_ID="/98298.html"   Extracted="3540662014"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/98298.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/98298.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/188765.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   Eighteenth   Annual   ACM   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Static   Type   Inference   in   a   Dynamically   Typed   Language,">

            <identifier   Org="ISBN:0818627352"   Paper_ID="/188765.html"   Extracted="0818627352"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/188765.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/188765.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:184150176X"   Paper_ID="/188765.html"   Extracted="184150176X"   />

            <identifier   Org="ISBN:3540423141"   Paper_ID="/188765.html"   Extracted="3540423141"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540571205"   Paper_ID="/188765.html"   Extracted="3540571205"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354057316X"   Paper_ID="/188765.html"   Extracted="354057316X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/188765.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/188765.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540600442"   Paper_ID="/188765.html"   Extracted="3540600442"   DDC="006.4"   Normalized_DDC="0064"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/188765.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540632379"   Paper_ID="/188765.html"   Extracted="3540632379"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540648275"   Paper_ID="/188765.html"   Extracted="3540648275"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/188765.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/215202.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fifth   Symposium   on   Logic   in   Computer   Science   Philadelphia   PA"   CiteSeer_Volume=""   Title="A   Decision   Procedure   for   a   Class   of   Set   Constraints,">

            <identifier   Org="ISBN:0780336542"   Paper_ID="/215202.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0818620730"   Paper_ID="/215202.html"   Extracted="0818620730"   />

            <identifier   Org="ISBN:0818631406"   Paper_ID="/215202.html"   Extracted="0818631406"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/215202.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/215202.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/215202.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354042251X"   Paper_ID="/215202.html"   Extracted="354042251X"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540424997"   Paper_ID="/215202.html"   Extracted="3540424997"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/215202.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/215202.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/215202.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540587926"   Paper_ID="/215202.html"   Extracted="3540587926"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/215202.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/215202.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/215202.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354064301X"   Paper_ID="/215202.html"   Extracted="354064301X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540656995"   Paper_ID="/215202.html"   Extracted="3540656995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/215202.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540787682"   Paper_ID="/215202.html"   Extracted="3540787682"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/208210.html"   Type="inproceedings"   CiteSeer_Book="Seventeenth   Annual   ACM   Symposium   onn   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="{A   Finite   Presentation   Theorem   for   Approximating   Logic   Programs   (Extended   Abstract)},"   />

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Solving   Systems   of   Set   Constraints   (Extended   Abstract)">

            <identifier   Org="ISBN:0818627352"   Paper_ID="SELF"   Extracted="0818627352"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818631406"   Paper_ID="SELF"   Extracted="0818631406"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="SELF"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="SELF"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="SELF"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540429859"   Paper_ID="SELF"   Extracted="3540429859"   DDC="004.015118"   Normalized_DDC="004015118"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354043092X"   Paper_ID="SELF"   Extracted="354043092X"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540578870"   Paper_ID="SELF"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354058403X"   Paper_ID="SELF"   Extracted="354058403X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540584315"   Paper_ID="SELF"   Extracted="3540584315"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="SELF"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540648275"   Paper_ID="SELF"   Extracted="3540648275"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="SELF"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354071314X"   Paper_ID="SELF"   Extracted="354071314X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

      </rec>

</references_metadata>

www.000webhost.com