Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 8

Title: Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop

Author:

Author:

Subject: Michael Codish,Bart Demoen Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop

Description: . This paper illustrates the application of abstract compilation using multiple incarnations of the domain Prop in deriving type dependencies for logic programs. We illustrate how dependencies can be derived in the presence of both monomorphic and polymorphic type information. Type dependencies generalize the recently proposed notion of directional types as well as the more common notion of groundness dependencies. Directional types have proven useful in a number of applications such as in proving termination. These applications, however, are based on type declarations. The main contribution of this paper is in the simplicity in which non-trivial type dependencies are inferred using abstract compilation and by associating each type with an incarnation of Prop. We illustrate the use of a semantics for open logic programs in maintaining space efficient analyses. Time efficiency is also maintained due to approximation of the type domain in a boolean lattice calling on results of universal...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1995-12-18

Pubyear: 1994

Format: ps

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

Source: http://www.cs.kuleuven.ac.be/~bmd/pubs/polytypes.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="/253393.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   First   International   Static   Analysis   Symposium"   CiteSeer_Volume=""   Title="Directional   Type   Checking   of   Logic   Programs,">

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

            <identifier   Org="ISBN:1586031252"   Paper_ID="/253393.html"   Extracted="1586031252"   />

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

            <identifier   Org="ISBN:3540230246"   Paper_ID="/253393.html"   Extracted="3540230246"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07692307692307693"   />

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

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

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

            <identifier   Org="ISBN:354061463X"   Paper_ID="/253393.html"   Extracted="354061463X"   DDC="005.1/2/015113"   Normalized_DDC="00512015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540625038"   Paper_ID="/253393.html"   Extracted="3540625038"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540633987"   Paper_ID="/253393.html"   Extracted="3540633987"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="/253393.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354066677X"   Paper_ID="/253393.html"   Extracted="354066677X"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.07692307692307693"   />

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

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

      </rec>

      <rec   ID="/618575.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="15"   Title="A   General   Framework   for   Semantics-Based   Bottom-Up   Abstract   Interpretation   of   Logic   Programs,">

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

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

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

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

            <identifier   Org="ISBN:0824796063"   Paper_ID="/618575.html"   Extracted="0824796063"   DDC="511.3/24"   Normalized_DDC="511324"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540416358"   Paper_ID="/618575.html"   Extracted="3540416358"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/618575.html"   Extracted="3540417397"   />

            <identifier   Org="ISBN:3540429573"   Paper_ID="/618575.html"   Extracted="3540429573"   DDC="005.11"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

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

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

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

            <identifier   Org="ISBN:3540565965"   Paper_ID="/618575.html"   Extracted="3540565965"   />

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

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

            <identifier   Org="ISBN:3540633987"   Paper_ID="/618575.html"   Extracted="3540633987"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/618575.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.058823529411764705"   />

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

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

      </rec>

      <rec   ID="/468.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   Twentieth   Annual   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Compositional   Analysis   of   Modular   Logic   Programs,">

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

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

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

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

            <identifier   Org="ISBN:0824796063"   Paper_ID="/468.html"   Extracted="0824796063"   DDC="511.3/24"   Normalized_DDC="511324"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

            <identifier   Org="ISBN:3540609229"   Paper_ID="/468.html"   Extracted="3540609229"   DDC="004/.01/511"   Normalized_DDC="00401511"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540759743"   Paper_ID="/468.html"   Extracted="3540759743"   DDC="006.7/4"   Normalized_DDC="00674"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540787909"   Paper_ID="/468.html"   Extracted="3540787909"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/166113.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="165"   Title="Proving   implications   by   algebraic   approximation,">

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

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

            <identifier   Org="ISBN:3540584854"   Paper_ID="/166113.html"   Extracted="3540584854"   />

      </rec>

      <rec   ID="/601139.html"   Type="inproceedings"   CiteSeer_Book="Proc   Eight   Italian   Conference   on   Logic   Programming   GULP93"   CiteSeer_Volume=""   Title="Modular   {L}ogic   {P}rograms   over   {F}inite   {D}omains,"   />

      <rec   ID="/371513.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Programming"   CiteSeer_Volume="13"   Title="Global   Flow   Analysis   as   a   Practical   Compilation   Tool,">

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

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

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

            <identifier   Org="ISBN:3540003266"   Paper_ID="/371513.html"   Extracted="3540003266"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540003894"   Paper_ID="/371513.html"   Extracted="3540003894"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540198520"   Paper_ID="/371513.html"   Extracted="3540198520"   DDC="005.101512"   Normalized_DDC="005101512"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540311394"   Paper_ID="/371513.html"   Extracted="3540311394"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540411372"   Paper_ID="/371513.html"   Extracted="3540411372"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540423141"   Paper_ID="/371513.html"   Extracted="3540423141"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540439153"   Paper_ID="/371513.html"   Extracted="3540439153"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540572643"   Paper_ID="/371513.html"   Extracted="3540572643"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540610553"   Paper_ID="/371513.html"   Extracted="3540610553"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

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

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

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

            <identifier   Org="ISBN:354066677X"   Paper_ID="/371513.html"   Extracted="354066677X"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540667105"   Paper_ID="/371513.html"   Extracted="3540667105"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/371513.html"   Extracted="3540686762"   />

      </rec>

      <rec   ID="/226311.html"   Type="inproceedings"   CiteSeer_Book="Partial   Evaluation   and   SemanticBased   Program   Manipulation"   CiteSeer_Volume=""   Title="Groundness   Analysis   for   {PROLOG}:   Implementation   and   Evaluation   of   the   Domain   Prop   ,">

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

            <identifier   Org="ISBN:0897915941"   Paper_ID="/226311.html"   Extracted="0897915941"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1402009976"   Paper_ID="/226311.html"   Extracted="1402009976"   DDC="355.6/213"   Normalized_DDC="3556213"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540571868"   Paper_ID="/226311.html"   Extracted="3540571868"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540572643"   Paper_ID="/226311.html"   Extracted="3540572643"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

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

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

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

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

            <identifier   Org="ISBN:3540601058"   Paper_ID="/226311.html"   Extracted="3540601058"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540664599"   Paper_ID="/226311.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/694055.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eighth   International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Polymorphically   Typed   Logic   Programs,">

            <identifier   Org="ISBN:0262560585"   Paper_ID="/694055.html"   Extracted="0262560585"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:081862230X"   Paper_ID="/694055.html"   Extracted="081862230X"   />

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

            <identifier   Org="ISBN:1581133464"   Paper_ID="/694055.html"   Extracted="1581133464"   />

            <identifier   Org="ISBN:1586031252"   Paper_ID="/694055.html"   Extracted="1586031252"   />

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

            <identifier   Org="ISBN:3540429573"   Paper_ID="/694055.html"   Extracted="3540429573"   DDC="005.11"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540563938"   Paper_ID="/694055.html"   Extracted="3540563938"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540571825"   Paper_ID="/694055.html"   Extracted="3540571825"   DDC="005/.01/51"   Normalized_DDC="0050151"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540589074"   Paper_ID="/694055.html"   Extracted="3540589074"   />

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

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

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Deriving   Polymorphic   Type   Dependencies   for   Logic   Programs   Using   Multiple   Incarnations   of   Prop">

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

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

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

            <identifier   Org="ISBN:3540003894"   Paper_ID="SELF"   Extracted="3540003894"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540429352"   Paper_ID="SELF"   Extracted="3540429352"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540429573"   Paper_ID="SELF"   Extracted="3540429573"   DDC="005.11"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354043075X"   Paper_ID="SELF"   Extracted="354043075X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540433694"   Paper_ID="SELF"   Extracted="3540433694"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540584315"   Paper_ID="SELF"   Extracted="3540584315"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="SELF"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="SELF"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540617396"   Paper_ID="SELF"   Extracted="3540617396"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="SELF"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:354066677X"   Paper_ID="SELF"   Extracted="354066677X"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540675302"   Paper_ID="SELF"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.05555555555555555"   />

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

      </rec>

</references_metadata>

www.000webhost.com