Automatically assigned DDC number: 005115
Manually assigned DDC number: 005115

Number of references: 8

Title: A Confluent Semantic Basis For The Analysis Of Concurrent Constraint Logic Programs

Author:

Author:

Subject: Michael Codish,Moreno Falaschi A Confluent Semantic Basis For The Analysis Of Concurrent Constraint Logic Programs

Description: Transition System for Merge. 20 Rs=[Id---Rs']) --- phil(Id,Ls',Rs'). (2) phil(Id,Ls,Rs) :- Ls=[ ---Ls'] : true --- phil(Id,Ls',Rs). (3) phil(Id,Ls,Rs) :- Rs=[ ---Rs'] : true --- phil(Id,Ls,Rs'). The program specifies the behavior of an individual philosopher. Each philosopher has a unique identifier Id and is connected to his left and right neighbor by streams Ls and Rs which specify the activity of the corresponding left and right forks. Let us consider a dinner eaten by three philosophers. Hence, we want to analyze the initial state s = hphil(1; F 1 ; F 0 1 ); phil(2; F 2 ; F 0 2 ); phil(3; F 3 ; F 0 3 ); F 0 1 = F 2 F 0 2 = F 3 F 0 3 = F 1 i: A philosopher tries to grab both forks, excluding other philosophers from grabbing them. Mutual exclusion is obtained by unifying the head of the stream with the unique Id of the philosopher. Each stream F i is instantiated to the sequence of the identifiers of those philosophers which succeeded to use the i th fork. In a simp...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-11-15

Pubyear: 1994

Format: ps

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

Source: http://www.dimi.uniud.it/~falaschi/Papers/jlp97.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

<rec ID="/4212.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="16" Title="Suspension Analyses for Concurrent Logic Programs,">

<identifier Org="ISBN:0262620995" Paper_ID="/4212.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540008861" Paper_ID="/4212.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540221522" Paper_ID="/4212.html" Extracted="3540221522" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540429859" Paper_ID="/4212.html" Extracted="3540429859" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540569391" Paper_ID="/4212.html" Extracted="3540569391" />

<identifier Org="ISBN:3540594795" Paper_ID="/4212.html" Extracted="3540594795" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540602992" Paper_ID="/4212.html" Extracted="3540602992" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540634592" Paper_ID="/4212.html" Extracted="3540634592" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.14285714285714285" />

</rec>

<rec ID="/636876.html" Type="inproceedings" CiteSeer_Book="Logic in Computer Science" CiteSeer_Volume="" Title="Compositional Analysis for Concurrent Constraint Programming,">

<identifier Org="ISBN:0198538537" Paper_ID="/636876.html" Extracted="0198538537" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:0262620995" Paper_ID="/636876.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />

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

<identifier Org="ISBN:1581132654" Paper_ID="/636876.html" Extracted="1581132654" />

<identifier Org="ISBN:3540221522" Paper_ID="/636876.html" Extracted="3540221522" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540584021" Paper_ID="/636876.html" Extracted="3540584021" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540594795" Paper_ID="/636876.html" Extracted="3540594795" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540600434" Paper_ID="/636876.html" Extracted="3540600434" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540602992" Paper_ID="/636876.html" Extracted="3540602992" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540606882" Paper_ID="/636876.html" Extracted="3540606882" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />

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

</rec>

<rec ID="/697727.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Analyzing Logic Programs with Dynamic Scheduling,">

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

<identifier Org="ISBN:026264035X" Paper_ID="/697727.html" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.08333333333333333" />

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

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

<identifier Org="ISBN:3540198644" Paper_ID="/697727.html" Extracted="3540198644" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540221522" Paper_ID="/697727.html" Extracted="3540221522" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540334386" Paper_ID="/697727.html" Extracted="3540334386" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.08333333333333333" />

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

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

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

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

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

</rec>

<rec ID="/65311.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="173" Title="A confluent calculus for concurrent constraint programming,">

<identifier Org="ISBN:354030553X" Paper_ID="/65311.html" Extracted="354030553X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.5" />

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

</rec>

<rec ID="/46908.html" Type="inproceedings" CiteSeer_Book="Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Semantic Foundations of Concurrent Constraint Programming,">

<identifier Org="ISBN:0262193612" Paper_ID="/46908.html" Extracted="0262193612" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:0262691779" Paper_ID="/46908.html" Extracted="0262691779" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:0444527265" Paper_ID="/46908.html" Extracted="0444527265" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:0824722892" Paper_ID="/46908.html" Extracted="0824722892" />

<identifier Org="ISBN:1581135289" Paper_ID="/46908.html" Extracted="1581135289" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540222618" Paper_ID="/46908.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:354029208X" Paper_ID="/46908.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540428631" Paper_ID="/46908.html" Extracted="3540428631" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:354043190X" Paper_ID="/46908.html" Extracted="354043190X" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540565965" Paper_ID="/46908.html" Extracted="3540565965" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540584315" Paper_ID="/46908.html" Extracted="3540584315" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540586016" Paper_ID="/46908.html" Extracted="3540586016" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540591559" Paper_ID="/46908.html" Extracted="3540591559" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540594507" Paper_ID="/46908.html" Extracted="3540594507" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540594795" Paper_ID="/46908.html" Extracted="3540594795" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540604723" Paper_ID="/46908.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540616047" Paper_ID="/46908.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540666265" Paper_ID="/46908.html" Extracted="3540666265" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:354071314X" Paper_ID="/46908.html" Extracted="354071314X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540749691" Paper_ID="/46908.html" Extracted="3540749691" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.05263157894736842" />

</rec>

<rec ID="/291779.html" Type="inproceedings" CiteSeer_Book="SIGPLAN Conference on Programming Language Design and Implementation" CiteSeer_Volume="" Title="Type Analysis of Prolog Using Type Graphs,">

<identifier Org="ISBN:0262631733" Paper_ID="/291779.html" Extracted="0262631733" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0262631806" Paper_ID="/291779.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0897919068" Paper_ID="/291779.html" Extracted="0897919068" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1581132654" Paper_ID="/291779.html" Extracted="1581132654" />

<identifier Org="ISBN:1595933883" Paper_ID="/291779.html" Extracted="1595933883" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540221522" Paper_ID="/291779.html" Extracted="3540221522" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540285849" Paper_ID="/291779.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540422064" Paper_ID="/291779.html" Extracted="3540422064" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540581561" Paper_ID="/291779.html" Extracted="3540581561" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540591559" Paper_ID="/291779.html" Extracted="3540591559" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540617396" Paper_ID="/291779.html" Extracted="3540617396" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540617566" Paper_ID="/291779.html" Extracted="3540617566" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540627189" Paper_ID="/291779.html" Extracted="3540627189" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540654623" Paper_ID="/291779.html" Extracted="3540654623" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540672621" Paper_ID="/291779.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540676287" Paper_ID="/291779.html" Extracted="3540676287" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

</rec>

<rec ID="/140220.html" Type="article" CiteSeer_Book="Journal of Functional and Logic Programming" CiteSeer_Volume="1997" Title="Abstracting Synchronization in Concurrent Constraint Programming,">

<identifier Org="ISBN:3540584021" Paper_ID="/140220.html" Extracted="3540584021" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.5" />

<identifier Org="ISBN:3540602992" Paper_ID="/140220.html" Extracted="3540602992" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.5" />

</rec>

<rec ID="/53614.html" Type="inproceedings" CiteSeer_Book="Principles and Practice of Constraint Programming" CiteSeer_Volume="" Title="Domain Independent Ask Approximation in {CCP},">

<identifier Org="ISBN:3540602992" Paper_ID="/53614.html" Extracted="3540602992" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="1.0" />

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="A Confluent Semantic Basis For The Analysis Of Concurrent Constraint Logic Programs">

<identifier Org="ISBN:3540008861" Paper_ID="SELF" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="1.0" />

</rec>

</references_metadata>