Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 35

Title: Dynamically Discovering Likely Program Invariants to Support Program Evolution

Author:

Author:

Author:

Author:

Subject: Michael D. Ernst,Jake Cockrell,William G. Griswold,David Notkin Dynamically Discovering Likely Program Invariants to Support Program Evolution

Description: Explicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are usually implicit. An alternative to expecting programmers to fully annotate code with invariants is to automatically infer likely invariants from the program itself. This research focuses on dynamic techniques for discovering invariants from execution traces. This article reports three results. First, it describes techniques for dynamically discovering invariants, along with an implementation, named Daikon, that embodies these techniques. Second, it reports on the application of Daikon to two sets of target programs. In programs from Gries's work on program derivation, the system rediscovered predefined invariants. In a C program lacking explicit invariants, the system discovered invariants that assisted a software evolution task. These experiments demonstrate that, at least for small programs, invariant inference is both accurate and useful. Third, it analyzes scalability issues such as invariant dectection runtime and accuracy as functions of test suites and program points instrumented.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-04-24

Pubyear: 2000

Format: ps

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

Source: http://www.cs.washington.edu/homes/mernst/pubs/invariants-tse.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/193526.html"   Type="article"   CiteSeer_Book="Communications   of   the   ACM"   CiteSeer_Volume="39"   Title="Relative   Debugging:   {A}   New   Methodology   for   Debugging   Scientific   Applications,"   />

      <rec   ID="/63437.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Automatic   Generation   of   Invariants   and   Intermediate   Assertions,">

            <identifier   Org="ISBN:0769518508"   Paper_ID="/63437.html"   Extracted="0769518508"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/63437.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:354020363X"   Paper_ID="/63437.html"   Extracted="354020363X"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540208038"   Paper_ID="/63437.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540210024"   Paper_ID="/63437.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/63437.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540418652"   Paper_ID="/63437.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540427872"   Paper_ID="/63437.html"   Extracted="3540427872"   DDC="004/.358"   Normalized_DDC="004358"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540610421"   Paper_ID="/63437.html"   Extracted="3540610421"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540630104"   Paper_ID="/63437.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/63437.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540646086"   Paper_ID="/63437.html"   Extracted="3540646086"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540651918"   Paper_ID="/63437.html"   Extracted="3540651918"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/63437.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540678972"   Paper_ID="/63437.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540679596"   Paper_ID="/63437.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/18831.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eighth   International   Conference   on   Computer   Aided   Verification   CAV"   CiteSeer_Volume=""   Title="Powerful   Techniques   for   the   automatic   Generation   of   Invariants,">

            <identifier   Org="ISBN:0262511126"   Paper_ID="/18831.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0769518508"   Paper_ID="/18831.html"   Extracted="0769518508"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/18831.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1595930140"   Paper_ID="/18831.html"   Extracted="1595930140"   />

            <identifier   Org="ISBN:354020363X"   Paper_ID="/18831.html"   Extracted="354020363X"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540323015"   Paper_ID="/18831.html"   Extracted="3540323015"   />

            <identifier   Org="ISBN:3540418652"   Paper_ID="/18831.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540610421"   Paper_ID="/18831.html"   Extracted="3540610421"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540630104"   Paper_ID="/18831.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/18831.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/18831.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540658319"   Paper_ID="/18831.html"   Extracted="3540658319"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540664998"   Paper_ID="/18831.html"   Extracted="3540664998"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/18831.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="/18831.html"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/18831.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540679596"   Paper_ID="/18831.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/584880.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Value   profiling   and   optimization,">

            <identifier   Org="ISBN:0769501710"   Paper_ID="/584880.html"   Extracted="0769501710"   />

            <identifier   Org="ISBN:0769510191"   Paper_ID="/584880.html"   Extracted="0769510191"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0769514413"   Paper_ID="/584880.html"   Extracted="0769514413"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0769519458"   Paper_ID="/584880.html"   Extracted="0769519458"   />

            <identifier   Org="ISBN:0769522750"   Paper_ID="/584880.html"   Extracted="0769522750"   />

            <identifier   Org="ISBN:1581133715"   Paper_ID="/584880.html"   Extracted="1581133715"   />

            <identifier   Org="ISBN:1584884657"   Paper_ID="/584880.html"   Extracted="1584884657"   DDC="621.384"   Normalized_DDC="621384"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540211993"   Paper_ID="/584880.html"   Extracted="3540211993"   DDC="005.275"   Normalized_DDC="005275"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354041861X"   Paper_ID="/584880.html"   Extracted="354041861X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/584880.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/63186.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Abstraction   of   Formal   Specifications   from   Program   Code,">

            <identifier   Org="ISBN:0585274770"   Paper_ID="/63186.html"   Extracted="0585274770"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0780399757"   Paper_ID="/63186.html"   Extracted="0780399757"   />

            <identifier   Org="ISBN:0818623004"   Paper_ID="/63186.html"   Extracted="0818623004"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0818671114"   Paper_ID="/63186.html"   Extracted="0818671114"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1580533493"   Paper_ID="/63186.html"   Extracted="1580533493"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:354057316X"   Paper_ID="/63186.html"   Extracted="354057316X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540876979"   Paper_ID="/63186.html"   Extracted="3540876979"   />

      </rec>

      <rec   ID="/240885.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Software   Engineering   and   Methodology"   CiteSeer_Volume="7"   Title="Discovering   models   of   software   processes   from   event-based   data,">

            <identifier   Org="ISBN:0471663069"   Paper_ID="/240885.html"   Extracted="0471663069"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1402075421"   Paper_ID="/240885.html"   Extracted="1402075421"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/240885.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:3540204989"   Paper_ID="/240885.html"   Extracted="3540204989"   DDC="005.75/8"   Normalized_DDC="005758"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540232052"   Paper_ID="/240885.html"   Extracted="3540232052"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540237232"   Paper_ID="/240885.html"   Extracted="3540237232"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540282386"   Paper_ID="/240885.html"   Extracted="3540282386"   DDC="658/.05"   Normalized_DDC="65805"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540285660"   Paper_ID="/240885.html"   Extracted="3540285660"   />

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

            <identifier   Org="ISBN:3540325956"   Paper_ID="/240885.html"   Extracted="3540325956"   DDC="658.4/038"   Normalized_DDC="6584038"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540442227"   Paper_ID="/240885.html"   Extracted="3540442227"   DDC="005.75/8"   Normalized_DDC="005758"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:3540751823"   Paper_ID="/240885.html"   Extracted="3540751823"   />

            <identifier   Org="ISBN:3540782370"   Paper_ID="/240885.html"   Extracted="3540782370"   DDC="658/.05"   Normalized_DDC="65805"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540874046"   Paper_ID="/240885.html"   Extracted="3540874046"   />

            <identifier   Org="ISBN:3540892869"   Paper_ID="/240885.html"   Extracted="3540892869"   />

      </rec>

      <rec   ID="/639077.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Event-Based   Detection   of   Concurrency,">

            <identifier   Org="ISBN:0769517994"   Paper_ID="/639077.html"   Extracted="0769517994"   DDC="005.1/6"   Normalized_DDC="00516"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402075421"   Paper_ID="/639077.html"   Extracted="1402075421"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/639077.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:3540001883"   Paper_ID="/639077.html"   Extracted="3540001883"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540204989"   Paper_ID="/639077.html"   Extracted="3540204989"   DDC="005.75/8"   Normalized_DDC="005758"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540222359"   Paper_ID="/639077.html"   Extracted="3540222359"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540285660"   Paper_ID="/639077.html"   Extracted="3540285660"   />

            <identifier   Org="ISBN:3540313311"   Paper_ID="/639077.html"   Extracted="3540313311"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540403183"   Paper_ID="/639077.html"   Extracted="3540403183"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540442227"   Paper_ID="/639077.html"   Extracted="3540442227"   DDC="005.75/8"   Normalized_DDC="005758"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540676023"   Paper_ID="/639077.html"   Extracted="3540676023"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540729089"   Paper_ID="/639077.html"   Extracted="3540729089"   DDC="004.67/8"   Normalized_DDC="004678"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540755624"   Paper_ID="/639077.html"   Extracted="3540755624"   />

            <identifier   Org="ISBN:3642025676"   Paper_ID="/639077.html"   Extracted="3642025676"   />

            <identifier   Org="ISBN:3865040403"   Paper_ID="/639077.html"   Extracted="3865040403"   />

            <identifier   Org="ISBN:981277985X"   Paper_ID="/639077.html"   Extracted="981277985X"   />

      </rec>

      <rec   ID="/27759.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGSOFT   94   Symposium   on   the   Foundations   of   Software   Engineering"   CiteSeer_Volume=""   Title="Data   Flow   Analysis   for   Verifying   Properties   of   Concurrent   Programs,">

            <identifier   Org="ISBN:0780333918"   Paper_ID="/27759.html"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0818679611"   Paper_ID="/27759.html"   Extracted="0818679611"   />

            <identifier   Org="ISBN:084931240X"   Paper_ID="/27759.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:1581130740"   Paper_ID="/27759.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:3540401237"   Paper_ID="/27759.html"   Extracted="3540401237"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540416552"   Paper_ID="/27759.html"   Extracted="3540416552"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:354042315X"   Paper_ID="/27759.html"   Extracted="354042315X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

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

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

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

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

            <identifier   Org="ISBN:3540756639"   Paper_ID="/27759.html"   Extracted="3540756639"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/366434.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="An   overview   of   the   Extended   Static   Checking   system,">

            <identifier   Org="ISBN:0309065585"   Paper_ID="/366434.html"   Extracted="0309065585"   DDC="384.3"   Normalized_DDC="3843"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0769515436"   Paper_ID="/366434.html"   Extracted="0769515436"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/366434.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:3540243623"   Paper_ID="/366434.html"   Extracted="3540243623"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540631046"   Paper_ID="/366434.html"   Extracted="3540631046"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540665889"   Paper_ID="/366434.html"   Extracted="3540665889"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/366434.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/502928.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Softspec:   software-based   speculative   parallelism   via   stride   prediction,"   />

      <rec   ID="/706523.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="Dynamically   Discovering   Likely   Program   Invariants   to   Support   Program   Evolution,">

            <identifier   Org="ISBN:0769518508"   Paper_ID="/706523.html"   Extracted="0769518508"   />

            <identifier   Org="ISBN:0898715938"   Paper_ID="/706523.html"   Extracted="0898715938"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402081464"   Paper_ID="/706523.html"   Extracted="1402081464"   DDC="332.76"   Normalized_DDC="33276"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/706523.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:158113472X"   Paper_ID="/706523.html"   Extracted="158113472X"   DDC="005.452"   Normalized_DDC="005452"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581139101"   Paper_ID="/706523.html"   Extracted="1581139101"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1595930140"   Paper_ID="/706523.html"   Extracted="1595930140"   />

            <identifier   Org="ISBN:3540003487"   Paper_ID="/706523.html"   Extracted="3540003487"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540008993"   Paper_ID="/706523.html"   Extracted="3540008993"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540208135"   Paper_ID="/706523.html"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540208941"   Paper_ID="/706523.html"   Extracted="3540208941"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="/706523.html"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354027992X"   Paper_ID="/706523.html"   Extracted="354027992X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540401172"   Paper_ID="/706523.html"   Extracted="3540401172"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540737693"   Paper_ID="/706523.html"   Extracted="3540737693"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540747915"   Paper_ID="/706523.html"   Extracted="3540747915"   />

            <identifier   Org="ISBN:3540781269"   Paper_ID="/706523.html"   Extracted="3540781269"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/277289.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="Quickly   detecting   relevant   program   invariants,">

            <identifier   Org="ISBN:038723151X"   Paper_ID="/277289.html"   Extracted="038723151X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0387346325"   Paper_ID="/277289.html"   Extracted="0387346325"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0769522157"   Paper_ID="/277289.html"   Extracted="0769522157"   />

            <identifier   Org="ISBN:158113472X"   Paper_ID="/277289.html"   Extracted="158113472X"   DDC="005.452"   Normalized_DDC="005452"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1581135831"   Paper_ID="/277289.html"   Extracted="1581135831"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/277289.html"   Extracted="1586034529"   />

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

            <identifier   Org="ISBN:3540203036"   Paper_ID="/277289.html"   Extracted="3540203036"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540213147"   Paper_ID="/277289.html"   Extracted="3540213147"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/277289.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540405313"   Paper_ID="/277289.html"   Extracted="3540405313"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540417117"   Paper_ID="/277289.html"   Extracted="3540417117"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540705910"   Paper_ID="/277289.html"   Extracted="3540705910"   />

            <identifier   Org="ISBN:3540779647"   Paper_ID="/277289.html"   Extracted="3540779647"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540959475"   Paper_ID="/277289.html"   Extracted="3540959475"   />

      </rec>

      <rec   ID="/73528.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGSOFT   94   Symposium   on   the   Foundations   of   Software   Engineering"   CiteSeer_Volume=""   Title="{LCL}int:   A   Tool   for   Using   Specifications   to   Check   Code,"   />

      <rec   ID="/263505.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="Dynamically   Discovering   Likely   Program   Invariants   to   Support   Program   Evolution,">

            <identifier   Org="ISBN:0769518508"   Paper_ID="/263505.html"   Extracted="0769518508"   />

            <identifier   Org="ISBN:0898715938"   Paper_ID="/263505.html"   Extracted="0898715938"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402081464"   Paper_ID="/263505.html"   Extracted="1402081464"   DDC="332.76"   Normalized_DDC="33276"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/263505.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:158113472X"   Paper_ID="/263505.html"   Extracted="158113472X"   DDC="005.452"   Normalized_DDC="005452"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581139101"   Paper_ID="/263505.html"   Extracted="1581139101"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1595930140"   Paper_ID="/263505.html"   Extracted="1595930140"   />

            <identifier   Org="ISBN:3540003487"   Paper_ID="/263505.html"   Extracted="3540003487"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540008993"   Paper_ID="/263505.html"   Extracted="3540008993"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540208135"   Paper_ID="/263505.html"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540208941"   Paper_ID="/263505.html"   Extracted="3540208941"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="/263505.html"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354027992X"   Paper_ID="/263505.html"   Extracted="354027992X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540401172"   Paper_ID="/263505.html"   Extracted="3540401172"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540737693"   Paper_ID="/263505.html"   Extracted="3540737693"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540747915"   Paper_ID="/263505.html"   Extracted="3540747915"   />

            <identifier   Org="ISBN:3540781269"   Paper_ID="/263505.html"   Extracted="3540781269"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/58017.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation   PLDI   96"   CiteSeer_Volume=""   Title="Static   Detection   of   Dynamic   Memory   Errors,">

            <identifier   Org="ISBN:0769510280"   Paper_ID="/58017.html"   Extracted="0769510280"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/58017.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1581132131"   Paper_ID="/58017.html"   Extracted="1581132131"   DDC="004/.071"   Normalized_DDC="004071"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1581135394"   Paper_ID="/58017.html"   Extracted="1581135394"   DDC="004.5"   Normalized_DDC="0045"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1595930140"   Paper_ID="/58017.html"   Extracted="1595930140"   />

            <identifier   Org="ISBN:1595933700"   Paper_ID="/58017.html"   Extracted="1595933700"   />

            <identifier   Org="ISBN:3540201769"   Paper_ID="/58017.html"   Extracted="3540201769"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540208135"   Paper_ID="/58017.html"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540231765"   Paper_ID="/58017.html"   Extracted="3540231765"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540407960"   Paper_ID="/58017.html"   Extracted="3540407960"   DDC="005.1/12"   Normalized_DDC="005112"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540422064"   Paper_ID="/58017.html"   Extracted="3540422064"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540661565"   Paper_ID="/58017.html"   Extracted="3540661565"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.09090909090909091"   />

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

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

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

      </rec>

      <rec   ID="/34283.html"   Type="inproceedings"   CiteSeer_Book="WCRE95   Proceedings   of   the   Second   Working   Conference   on   Reverse   Engineering   rm   Toronto   Ontario   July   1416   1995"   CiteSeer_Volume=""   Title="Strongest   Postcondition   Semantics   as   the   Formal   Basis   for   Reverse   Engineering,">

            <identifier   Org="ISBN:0585274770"   Paper_ID="/34283.html"   Extracted="0585274770"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:0780399781"   Paper_ID="/34283.html"   Extracted="0780399781"   />

            <identifier   Org="ISBN:0818671114"   Paper_ID="/34283.html"   Extracted="0818671114"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:0824720660"   Paper_ID="/34283.html"   Extracted="0824720660"   />

            <identifier   Org="ISBN:0824727231"   Paper_ID="/34283.html"   Extracted="0824727231"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/34283.html"   Extracted="1581130740"   />

      </rec>

      <rec   ID="/108353.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="A   Specification   Matching   Based   Approach   to   Reverse   Engineering,">

            <identifier   Org="ISBN:0769503039"   Paper_ID="/108353.html"   Extracted="0769503039"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/108353.html"   Extracted="1581130740"   />

      </rec>

      <rec   ID="/44978.html"   Type="inproceedings"   CiteSeer_Book="USENIX   Winter"   CiteSeer_Volume=""   Title="{DUEL}   -   A   Very   High-Level   Debugging   Language,">

            <identifier   Org="ISBN:0387986448"   Paper_ID="/44978.html"   Extracted="0387986448"   DDC="005.1/18"   Normalized_DDC="005118"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0792378954"   Paper_ID="/44978.html"   Extracted="0792378954"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0818644109"   Paper_ID="/44978.html"   Extracted="0818644109"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/44978.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1880446588"   Paper_ID="/44978.html"   Extracted="1880446588"   />

            <identifier   Org="ISBN:1880446847"   Paper_ID="/44978.html"   Extracted="1880446847"   />

            <identifier   Org="ISBN:3540211799"   Paper_ID="/44978.html"   Extracted="3540211799"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540661565"   Paper_ID="/44978.html"   Extracted="3540661565"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/28256.html"   Type="inproceedings"   CiteSeer_Book="Static   Analysis   Symposium"   CiteSeer_Volume=""   Title="Inferring   Program   Specifications   in   Polynomial-Time,">

            <identifier   Org="ISBN:1581130740"   Paper_ID="/28256.html"   Extracted="1581130740"   />

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

      </rec>

      <rec   ID="/50952.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Conference   on   Programming   Language   Design   and   Implementation   PLDI"   CiteSeer_Volume=""   Title="Abstractions   for   recursive   pointer   data   structures:   Improving   the   analysis   and   transformation   of   imperative   programs,">

            <identifier   Org="ISBN:0444828826"   Paper_ID="/50952.html"   Extracted="0444828826"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792396359"   Paper_ID="/50952.html"   Extracted="0792396359"   DDC="005.4/2"   Normalized_DDC="00542"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818649003"   Paper_ID="/50952.html"   Extracted="0818649003"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818649011"   Paper_ID="/50952.html"   Extracted="0818649011"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:081868108X"   Paper_ID="/50952.html"   Extracted="081868108X"   />

            <identifier   Org="ISBN:0897917073"   Paper_ID="/50952.html"   Extracted="0897917073"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/50952.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1581136676"   Paper_ID="/50952.html"   Extracted="1581136676"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540221204"   Paper_ID="/50952.html"   Extracted="3540221204"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354027992X"   Paper_ID="/50952.html"   Extracted="354027992X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540576592"   Paper_ID="/50952.html"   Extracted="3540576592"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664262"   Paper_ID="/50952.html"   Extracted="3540664262"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540715274"   Paper_ID="/50952.html"   Extracted="3540715274"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/6296.html"   Type="inproceedings"   CiteSeer_Book="Workshop   on   Program   Analysis   For   Software   Tools   and   Engineering"   CiteSeer_Volume=""   Title="An   Empirical   Investigation   of   Program   Spectra,">

            <identifier   Org="ISBN:0769520073"   Paper_ID="/6296.html"   Extracted="0769520073"   />

            <identifier   Org="ISBN:076952107X"   Paper_ID="/6296.html"   Extracted="076952107X"   />

            <identifier   Org="ISBN:0898715938"   Paper_ID="/6296.html"   Extracted="0898715938"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:089871611X"   Paper_ID="/6296.html"   Extracted="089871611X"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/6296.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:354027992X"   Paper_ID="/6296.html"   Extracted="354027992X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/151489.html"   Type="inproceedings"   CiteSeer_Book="Foundations   of   Software   Engineering"   CiteSeer_Volume=""   Title="Automatic   Generation   of   State   Invariants   from   Requirements   Specifications,">

            <identifier   Org="ISBN:0309089832"   Paper_ID="/151489.html"   Extracted="0309089832"   />

            <identifier   Org="ISBN:0769511252"   Paper_ID="/151489.html"   Extracted="0769511252"   />

            <identifier   Org="ISBN:0792379497"   Paper_ID="/151489.html"   Extracted="0792379497"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:1581130740"   Paper_ID="/151489.html"   Extracted="1581130740"   />

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

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

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

            <identifier   Org="ISBN:3540272313"   Paper_ID="/151489.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540421033"   Paper_ID="/151489.html"   Extracted="3540421033"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/151489.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540672826"   Paper_ID="/151489.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="/151489.html"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540691472"   Paper_ID="/151489.html"   Extracted="3540691472"   />

            <identifier   Org="ISBN:3540740333"   Paper_ID="/151489.html"   Extracted="3540740333"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540929657"   Paper_ID="/151489.html"   Extracted="3540929657"   />

      </rec>

      <rec   ID="/450075.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   ObjectOriented   Programming   Systems   Languages   and   Applications   OOPSLA98"   CiteSeer_Volume=""   Title="Reasoning   about   {Java}   Classes,">

            <identifier   Org="ISBN:0387257446"   Paper_ID="/450075.html"   Extracted="0387257446"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792379535"   Paper_ID="/450075.html"   Extracted="0792379535"   DDC="006"   Normalized_DDC="006"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/450075.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1586030159"   Paper_ID="/450075.html"   Extracted="1586030159"   />

            <identifier   Org="ISBN:3519026503"   Paper_ID="/450075.html"   Extracted="3519026503"   />

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

            <identifier   Org="ISBN:3540203036"   Paper_ID="/450075.html"   Extracted="3540203036"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540208968"   Paper_ID="/450075.html"   Extracted="3540208968"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540213775"   Paper_ID="/450075.html"   Extracted="3540213775"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540415130"   Paper_ID="/450075.html"   Extracted="3540415130"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:354042525X"   Paper_ID="/450075.html"   Extracted="354042525X"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:3540672826"   Paper_ID="/450075.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/450075.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/376216.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1616"   Title="{jContractor}:   {A}   Reflective   {Java}   Library   to   Support   Design   by   Contract,">

            <identifier   Org="ISBN:0387749349"   Paper_ID="/376216.html"   Extracted="0387749349"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792378954"   Paper_ID="/376216.html"   Extracted="0792378954"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1402014805"   Paper_ID="/376216.html"   Extracted="1402014805"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1580533272"   Paper_ID="/376216.html"   Extracted="1580533272"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1581134150"   Paper_ID="/376216.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:3540203036"   Paper_ID="/376216.html"   Extracted="3540203036"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:354024302X"   Paper_ID="/376216.html"   Extracted="354024302X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540334386"   Paper_ID="/376216.html"   Extracted="3540334386"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540415130"   Paper_ID="/376216.html"   Extracted="3540415130"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540434860"   Paper_ID="/376216.html"   Extracted="3540434860"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540437592"   Paper_ID="/376216.html"   Extracted="3540437592"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540437843"   Paper_ID="/376216.html"   Extracted="3540437843"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540662804"   Paper_ID="/376216.html"   Extracted="3540662804"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540677615"   Paper_ID="/376216.html"   Extracted="3540677615"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540853723"   Paper_ID="/376216.html"   Extracted="3540853723"   />

            <identifier   Org="ISBN:354089246X"   Paper_ID="/376216.html"   Extracted="354089246X"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/217401.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Elimination   of   Redundant   Array   Subscript   Range   Checks,">

            <identifier   Org="ISBN:0769522823"   Paper_ID="/217401.html"   Extracted="0769522823"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:084931240X"   Paper_ID="/217401.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/217401.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/217401.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1581135998"   Paper_ID="/217401.html"   Extracted="1581135998"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354041861X"   Paper_ID="/217401.html"   Extracted="354041861X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540420681"   Paper_ID="/217401.html"   Extracted="3540420681"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540425780"   Paper_ID="/217401.html"   Extracted="3540425780"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540664262"   Paper_ID="/217401.html"   Extracted="3540664262"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354067263X"   Paper_ID="/217401.html"   Extracted="354067263X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540775595"   Paper_ID="/217401.html"   Extracted="3540775595"   />

      </rec>

      <rec   ID="/336115.html"   Type="inproceedings"   CiteSeer_Book="Principles   Practice   of   Parallel   Programming"   CiteSeer_Volume=""   Title="{SUIF}   Explorer:   An   Interactive   and   Interprocedural   Parallelizer,">

            <identifier   Org="ISBN:0387722572"   Paper_ID="/336115.html"   Extracted="0387722572"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0769519458"   Paper_ID="/336115.html"   Extracted="0769519458"   />

            <identifier   Org="ISBN:1402076983"   Paper_ID="/336115.html"   Extracted="1402076983"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1581135882"   Paper_ID="/336115.html"   Extracted="1581135882"   />

            <identifier   Org="ISBN:1595930809"   Paper_ID="/336115.html"   Extracted="1595930809"   />

            <identifier   Org="ISBN:3540011854"   Paper_ID="/336115.html"   Extracted="3540011854"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354024560X"   Paper_ID="/336115.html"   Extracted="354024560X"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354028009X"   Paper_ID="/336115.html"   Extracted="354028009X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540290672"   Paper_ID="/336115.html"   Extracted="3540290672"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354029810X"   Paper_ID="/336115.html"   Extracted="354029810X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540428623"   Paper_ID="/336115.html"   Extracted="3540428623"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540679561"   Paper_ID="/336115.html"   Extracted="3540679561"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354076836X"   Paper_ID="/336115.html"   Extracted="354076836X"   />

            <identifier   Org="ISBN:3642022847"   Paper_ID="/336115.html"   Extracted="3642022847"   />

            <identifier   Org="ISBN:3642032362"   Paper_ID="/336115.html"   Extracted="3642032362"   />

      </rec>

      <rec   ID="/17400.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   1998   ACM   SIGPLAN   Conference   on   Prgramming   Language   Design   and   Implementation   PLDI"   CiteSeer_Volume=""   Title="The   Design   and   Implementation   of   a   Certifying   Compiler,">

            <identifier   Org="ISBN:0309112532"   Paper_ID="/17400.html"   Extracted="0309112532"   DDC="620.007"   Normalized_DDC="620007"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0444508120"   Paper_ID="/17400.html"   Extracted="0444508120"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:084931240X"   Paper_ID="/17400.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/17400.html"   Extracted="1581130740"   />

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

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

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

            <identifier   Org="ISBN:3540211993"   Paper_ID="/17400.html"   Extracted="3540211993"   DDC="005.275"   Normalized_DDC="005275"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540661301"   Paper_ID="/17400.html"   Extracted="3540661301"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540664084"   Paper_ID="/17400.html"   Extracted="3540664084"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540669302"   Paper_ID="/17400.html"   Extracted="3540669302"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:3540748091"   Paper_ID="/17400.html"   Extracted="3540748091"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/329620.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Lackwit:   A   program   understandingtool   based   on   type   inference,"   />

      <rec   ID="/163785.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="24"   Title="Empirical   Studies   of   a   Safe   Regression   Test   Selection   Technique,">

            <identifier   Org="ISBN:0120121581"   Paper_ID="/163785.html"   Extracted="0120121581"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0201809389"   Paper_ID="/163785.html"   Extracted="0201809389"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0769518192"   Paper_ID="/163785.html"   Extracted="0769518192"   />

            <identifier   Org="ISBN:076952107X"   Paper_ID="/163785.html"   Extracted="076952107X"   />

            <identifier   Org="ISBN:0780363639"   Paper_ID="/163785.html"   Extracted="0780363639"   />

            <identifier   Org="ISBN:0898715938"   Paper_ID="/163785.html"   Extracted="0898715938"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:089871611X"   Paper_ID="/163785.html"   Extracted="089871611X"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402074352"   Paper_ID="/163785.html"   Extracted="1402074352"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1577353684"   Paper_ID="/163785.html"   Extracted="1577353684"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/163785.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:158113472X"   Paper_ID="/163785.html"   Extracted="158113472X"   DDC="005.452"   Normalized_DDC="005452"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1581139101"   Paper_ID="/163785.html"   Extracted="1581139101"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:158488360X"   Paper_ID="/163785.html"   Extracted="158488360X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1591402557"   Paper_ID="/163785.html"   Extracted="1591402557"   />

            <identifier   Org="ISBN:1595930140"   Paper_ID="/163785.html"   Extracted="1595930140"   />

            <identifier   Org="ISBN:354021299X"   Paper_ID="/163785.html"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540308172"   Paper_ID="/163785.html"   Extracted="3540308172"   />

            <identifier   Org="ISBN:3540729119"   Paper_ID="/163785.html"   Extracted="3540729119"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:9812388540"   Paper_ID="/163785.html"   Extracted="9812388540"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/615387.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Parametric   Shape   Analysis   via   3-Valued   Logic,">

            <identifier   Org="ISBN:084931240X"   Paper_ID="/615387.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1402035306"   Paper_ID="/615387.html"   Extracted="1402035306"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540223819"   Paper_ID="/615387.html"   Extracted="3540223819"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540254358"   Paper_ID="/615387.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540307818"   Paper_ID="/615387.html"   Extracted="3540307818"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540424970"   Paper_ID="/615387.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/615387.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:354068235X"   Paper_ID="/615387.html"   Extracted="354068235X"   />

            <identifier   Org="ISBN:3540691472"   Paper_ID="/615387.html"   Extracted="3540691472"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/615387.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540713158"   Paper_ID="/615387.html"   Extracted="3540713158"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540733671"   Paper_ID="/615387.html"   Extracted="3540733671"   />

            <identifier   Org="ISBN:3540744061"   Paper_ID="/615387.html"   Extracted="3540744061"   />

            <identifier   Org="ISBN:3540755950"   Paper_ID="/615387.html"   Extracted="3540755950"   DDC="511.3/6028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540787992"   Paper_ID="/615387.html"   Extracted="3540787992"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/125975.html"   Type="article"   CiteSeer_Book="The   Computer   Journal"   CiteSeer_Volume="39"   Title="Program   Analysis   by   Formal   Transformation,">

            <identifier   Org="ISBN:0769508812"   Paper_ID="/125975.html"   Extracted="0769508812"   />

            <identifier   Org="ISBN:0818676744"   Paper_ID="/125975.html"   Extracted="0818676744"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:1580533493"   Paper_ID="/125975.html"   Extracted="1580533493"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/125975.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:7302175373"   Paper_ID="/125975.html"   Extracted="7302175373"   />

      </rec>

      <rec   ID="/300567.html"   Type="article"   CiteSeer_Book="Journal   of   the   ACM"   CiteSeer_Volume="44"   Title="Software   reliability   via   run-time   result-checking,">

            <identifier   Org="ISBN:076950213X"   Paper_ID="/300567.html"   Extracted="076950213X"   />

            <identifier   Org="ISBN:0780344502"   Paper_ID="/300567.html"   Extracted="0780344502"   />

            <identifier   Org="ISBN:0780357507"   Paper_ID="/300567.html"   Extracted="0780357507"   />

            <identifier   Org="ISBN:0792386000"   Paper_ID="/300567.html"   Extracted="0792386000"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540004211"   Paper_ID="/300567.html"   Extracted="3540004211"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540430431"   Paper_ID="/300567.html"   Extracted="3540430431"   DDC="502/.85"   Normalized_DDC="50285"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540437037"   Paper_ID="/300567.html"   Extracted="3540437037"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540648275"   Paper_ID="/300567.html"   Extracted="3540648275"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540664629"   Paper_ID="/300567.html"   Extracted="3540664629"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540666249"   Paper_ID="/300567.html"   Extracted="3540666249"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540671021"   Paper_ID="/300567.html"   Extracted="3540671021"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540679596"   Paper_ID="/300567.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540751009"   Paper_ID="/300567.html"   Extracted="3540751009"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540771182"   Paper_ID="/300567.html"   Extracted="3540771182"   />

            <identifier   Org="ISBN:3642005896"   Paper_ID="/300567.html"   Extracted="3642005896"   />

      </rec>

      <rec   ID="/17673.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Efficient   Context-Sensitive   Pointer   Analysis   for   C   Programs,">

            <identifier   Org="ISBN:1581130740"   Paper_ID="/17673.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1581139101"   Paper_ID="/17673.html"   Extracted="1581139101"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1595930140"   Paper_ID="/17673.html"   Extracted="1595930140"   />

            <identifier   Org="ISBN:354028009X"   Paper_ID="/17673.html"   Extracted="354028009X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540307818"   Paper_ID="/17673.html"   Extracted="3540307818"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540405313"   Paper_ID="/17673.html"   Extracted="3540405313"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.125"   />

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

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

            <identifier   Org="ISBN:3540691634"   Paper_ID="/17673.html"   Extracted="3540691634"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540712283"   Paper_ID="/17673.html"   Extracted="3540712283"   />

            <identifier   Org="ISBN:3540725202"   Paper_ID="/17673.html"   Extracted="3540725202"   />

            <identifier   Org="ISBN:3540733671"   Paper_ID="/17673.html"   Extracted="3540733671"   />

            <identifier   Org="ISBN:3540781625"   Paper_ID="/17673.html"   Extracted="3540781625"   />

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

      </rec>

      <rec   ID="/56720.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Eliminating   Array   Bound   Checking   Through   Dependent   Types,">

            <identifier   Org="ISBN:0123748127"   Paper_ID="/56720.html"   Extracted="0123748127"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0769522823"   Paper_ID="/56720.html"   Extracted="0769522823"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:142004382X"   Paper_ID="/56720.html"   Extracted="142004382X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/56720.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:159593071X"   Paper_ID="/56720.html"   Extracted="159593071X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540008861"   Paper_ID="/56720.html"   Extracted="3540008861"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354021299X"   Paper_ID="/56720.html"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540221190"   Paper_ID="/56720.html"   Extracted="3540221190"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540221646"   Paper_ID="/56720.html"   Extracted="3540221646"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540285407"   Paper_ID="/56720.html"   Extracted="3540285407"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540420681"   Paper_ID="/56720.html"   Extracted="3540420681"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540440445"   Paper_ID="/56720.html"   Extracted="3540440445"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540741291"   Paper_ID="/56720.html"   Extracted="3540741291"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540766367"   Paper_ID="/56720.html"   Extracted="3540766367"   />

            <identifier   Org="ISBN:3540767851"   Paper_ID="/56720.html"   Extracted="3540767851"   />

            <identifier   Org="ISBN:3540775595"   Paper_ID="/56720.html"   Extracted="3540775595"   />

            <identifier   Org="ISBN:3540789685"   Paper_ID="/56720.html"   Extracted="3540789685"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540799796"   Paper_ID="/56720.html"   Extracted="3540799796"   />

            <identifier   Org="ISBN:3540880585"   Paper_ID="/56720.html"   Extracted="3540880585"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Dynamically   Discovering   Likely   Program   Invariants   to   Support   Program   Evolution">

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

            <identifier   Org="ISBN:0898715938"   Paper_ID="SELF"   Extracted="0898715938"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402081464"   Paper_ID="SELF"   Extracted="1402081464"   DDC="332.76"   Normalized_DDC="33276"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:158113472X"   Paper_ID="SELF"   Extracted="158113472X"   DDC="005.452"   Normalized_DDC="005452"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540003487"   Paper_ID="SELF"   Extracted="3540003487"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540208135"   Paper_ID="SELF"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:354027992X"   Paper_ID="SELF"   Extracted="354027992X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540401172"   Paper_ID="SELF"   Extracted="3540401172"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540737693"   Paper_ID="SELF"   Extracted="3540737693"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540781269"   Paper_ID="SELF"   Extracted="3540781269"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/142176.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   POPL   99   The   26th   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages   San   Antonio   Texas"   CiteSeer_Volume=""   Title="Dependent   Types   in   Practical   Programming,">

            <identifier   Org="ISBN:142004382X"   Paper_ID="/142176.html"   Extracted="142004382X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581134150"   Paper_ID="/142176.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:159593071X"   Paper_ID="/142176.html"   Extracted="159593071X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1595930728"   Paper_ID="/142176.html"   Extracted="1595930728"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1841500585"   Paper_ID="/142176.html"   Extracted="1841500585"   />

            <identifier   Org="ISBN:3540205365"   Paper_ID="/142176.html"   Extracted="3540205365"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540221646"   Paper_ID="/142176.html"   Extracted="3540221646"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540243623"   Paper_ID="/142176.html"   Extracted="3540243623"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="/142176.html"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540282319"   Paper_ID="/142176.html"   Extracted="3540282319"   DDC="005.1/015113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540285407"   Paper_ID="/142176.html"   Extracted="3540285407"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540421963"   Paper_ID="/142176.html"   Extracted="3540421963"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540440445"   Paper_ID="/142176.html"   Extracted="3540440445"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540656995"   Paper_ID="/142176.html"   Extracted="3540656995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540741291"   Paper_ID="/142176.html"   Extracted="3540741291"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540767851"   Paper_ID="/142176.html"   Extracted="3540767851"   />

            <identifier   Org="ISBN:3540789685"   Paper_ID="/142176.html"   Extracted="3540789685"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540880585"   Paper_ID="/142176.html"   Extracted="3540880585"   />

      </rec>

</references_metadata>

www.000webhost.com