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>