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>