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>

www.000webhost.com