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>