Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 8

Title: Detection And Optimization Of Suspension-Free Logic Programs

Author:

Author:

Subject: Saumya Debray,David Gudeman Detection And Optimization Of Suspension-Free Logic Programs

Description: the effects of head unification with the formal parameters x, given the abstract substitution ff describing the actual parameters, so as to obtain an initial abstract environment A 1 . 2. Let the abstract environment at the program point immediately before the literal q i (u i ) be denoted by A i , 1 i n. For i := 1 to n do: A 0 i := analyse call(q i ; A i ); A i+1 := extend abs env (A i ; A 0 i ); 3. Compute and return the abstract environment An+1 projected on the arguments in the head of the clause. A call to a procedure is analyzed by processing each clause for that procedure, in turn, as described above. For each clause, the analysis yields an abstract environment, and these can be "summarized"---for example, using the join operator t on ASub---to yield an abstract environment describing the substitutions that may be obtained when that call returns. In the following sections, we describe how the underlying analysis described above can be extended to detect situations ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1995-09-21

Pubyear: 1996

Format: ps

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

Source: http://www.cs.arizona.edu/people/debray/papers/susp_analysis.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/78309.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Output   Value   Placement   in   Moded   Logic   Programs,">

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

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

            <identifier   Org="ISBN:0897917200"   Paper_ID="/78309.html"   Extracted="0897917200"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/78309.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/75576.html"   Type="inproceedings"   CiteSeer_Book="International   Logic   Programming   Symposium"   CiteSeer_Volume=""   Title="A   Simple   Approach   to   Supporting   Untagged   Objects   in   Dynamically   Typed   Languages,">

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

            <identifier   Org="ISBN:0824722957"   Paper_ID="/75576.html"   Extracted="0824722957"   />

            <identifier   Org="ISBN:0897917200"   Paper_ID="/75576.html"   Extracted="0897917200"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1595935436"   Paper_ID="/75576.html"   Extracted="1595935436"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/347358.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="{L}ower   {B}ound   {C}ost   {E}stimation   for   {L}ogic   {P}rograms,"   />

      <rec   ID="/12872.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Representing   Type   Information   in   Dynamically-Typed   Languages,">

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

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

            <identifier   Org="ISBN:3540643044"   Paper_ID="/12872.html"   Extracted="3540643044"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540659684"   Paper_ID="/12872.html"   Extracted="3540659684"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/63444.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Joint   International   Conference   and   Symposium   on   Logic   Programming"   CiteSeer_Volume=""   Title="jc:   An   Efficient   and   Portable   Sequential   Implementation   of   Janus,">

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

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

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

            <identifier   Org="ISBN:0780324935"   Paper_ID="/63444.html"   Extracted="0780324935"   />

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

            <identifier   Org="ISBN:0824722957"   Paper_ID="/63444.html"   Extracted="0824722957"   />

            <identifier   Org="ISBN:0897917200"   Paper_ID="/63444.html"   Extracted="0897917200"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540568913"   Paper_ID="/63444.html"   Extracted="3540568913"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540569219"   Paper_ID="/63444.html"   Extracted="3540569219"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540569448"   Paper_ID="/63444.html"   Extracted="3540569448"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540610537"   Paper_ID="/63444.html"   Extracted="3540610537"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.08333333333333333"   />

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

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

            <identifier   Org="ISBN:354071409X"   Paper_ID="/63444.html"   Extracted="354071409X"   />

      </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="/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="/122169.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Can   Logic   Programming   Execute   as   Fast   as   Imperative   Programming?,">

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

            <identifier   Org="ISBN:0262541041"   Paper_ID="/122169.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262600315"   Paper_ID="/122169.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:0262731053"   Paper_ID="/122169.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792394577"   Paper_ID="/122169.html"   Extracted="0792394577"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818620471"   Paper_ID="/122169.html"   Extracted="0818620471"   />

            <identifier   Org="ISBN:0824722957"   Paper_ID="/122169.html"   Extracted="0824722957"   />

            <identifier   Org="ISBN:3540207805"   Paper_ID="/122169.html"   Extracted="3540207805"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:354055033X"   Paper_ID="/122169.html"   Extracted="354055033X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540578773"   Paper_ID="/122169.html"   Extracted="3540578773"   DDC="005.4/5"   Normalized_DDC="00545"   Normalized_Weight="0.06666666666666667"   />

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

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

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

            <identifier   Org="ISBN:3540665404"   Paper_ID="/122169.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:4274077241"   Paper_ID="/122169.html"   Extracted="4274077241"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Detection   And   Optimization   Of   Suspension-Free   Logic   Programs">

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

            <identifier   Org="ISBN:026264035X"   Paper_ID="SELF"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.2"   />

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

            <identifier   Org="ISBN:3540221522"   Paper_ID="SELF"   Extracted="3540221522"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:4938424738"   Paper_ID="SELF"   Extracted="4938424738"   DDC="509.52"   Normalized_DDC="50952"   Normalized_Weight="0.2"   />

      </rec>

</references_metadata>

www.000webhost.com