Automatically assigned DDC number: 00514

Manually assigned DDC number: 00514

Number of references: 34

Title: Flow Analysis for Verifying Properties of Concurrent Software

Author:

Author:

Author:

Author:

Subject: Matthew B. Dwyer,Lori A. Clarke,Gleb Naumovich,Jamieson M. Cobleigh Flow Analysis for Verifying Properties of Concurrent Software

Description: This paper describes FLAVERS, a finite-state verification approach that analyzes whether concurrent systems satisfy user-defined, behavioral properties. FLAVERS automatically creates a compact, event-based model of the system that supports efficient data-flow analysis. FLAVERS achieves this efficiency at the cost of precision. Analysts, however, can improve the precision of analysis results by selectively and judiciously incorporating additional semantic information into an analysis.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2004-04-01

Pubyear: 2004

Format: pdf

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

Source: http://laser.cs.umass.edu/~jcobleig/publications/2004-006-long.pdf

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:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/384292.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="2057"   Title="Automatically   Validating   Temporal   Safety   Properties   of   Interfaces,">

            <identifier   Org="ISBN:0817632395"   Paper_ID="/384292.html"   Extracted="0817632395"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1402062532"   Paper_ID="/384292.html"   Extracted="1402062532"   />

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

            <identifier   Org="ISBN:1586035703"   Paper_ID="/384292.html"   Extracted="1586035703"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.0625"   />

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

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

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

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

            <identifier   Org="ISBN:3540210911"   Paper_ID="/384292.html"   Extracted="3540210911"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540238417"   Paper_ID="/384292.html"   Extracted="3540238417"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540298967"   Paper_ID="/384292.html"   Extracted="3540298967"   />

            <identifier   Org="ISBN:3540304924"   Paper_ID="/384292.html"   Extracted="3540304924"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/384292.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540688544"   Paper_ID="/384292.html"   Extracted="3540688544"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:3540698493"   Paper_ID="/384292.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/384292.html"   Extracted="3540712089"   />

      </rec>

      <rec   ID="/573617.html"   Type="article"   CiteSeer_Book="ACM   Computing   Surveys"   CiteSeer_Volume="24"   Title="Symbolic   {Boolean}   Manipulation   with   Ordered   Binary-Decision   Diagrams,">

            <identifier   Org="ISBN:0387244115"   Paper_ID="/573617.html"   Extracted="0387244115"   />

            <identifier   Org="ISBN:0780318366"   Paper_ID="/573617.html"   Extracted="0780318366"   />

            <identifier   Org="ISBN:0780336623"   Paper_ID="/573617.html"   Extracted="0780336623"   DDC="621.39/5/0285"   Normalized_DDC="6213950285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0780358589"   Paper_ID="/573617.html"   Extracted="0780358589"   />

            <identifier   Org="ISBN:0818656522"   Paper_ID="/573617.html"   Extracted="0818656522"   />

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

            <identifier   Org="ISBN:0818682078"   Paper_ID="/573617.html"   Extracted="0818682078"   DDC="621.3819535"   Normalized_DDC="6213819535"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0898714583"   Paper_ID="/573617.html"   Extracted="0898714583"   DDC="519.2/34"   Normalized_DDC="519234"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540427759"   Paper_ID="/573617.html"   Extracted="3540427759"   DDC="510"   Normalized_DDC="51"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540578684"   Paper_ID="/573617.html"   Extracted="3540578684"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/86943.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGSOFT   94   Symposium   on   the   Foundations   of   Software   Engineering"   CiteSeer_Volume=""   Title="Towards   Scalable   Compositional   Analysis,">

            <identifier   Org="ISBN:0818675705"   Paper_ID="/86943.html"   Extracted="0818675705"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.5"   />

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

            <identifier   Org="ISBN:3540281959"   Paper_ID="/86943.html"   Extracted="3540281959"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/505743.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="The   Right   Algorithm   at   the   Right   Time:   Comparing   Data   Flow   Analysis   Algorithms   for   Finite   State   Verification,">

            <identifier   Org="ISBN:3540434771"   Paper_ID="/505743.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/247584.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="Bandera:   extracting   finite-state   models   from   Java   source   code,">

            <identifier   Org="ISBN:0849328241"   Paper_ID="/247584.html"   Extracted="0849328241"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:158113262X"   Paper_ID="/247584.html"   Extracted="158113262X"   />

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

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

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

            <identifier   Org="ISBN:3540238417"   Paper_ID="/247584.html"   Extracted="3540238417"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:354025420X"   Paper_ID="/247584.html"   Extracted="354025420X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540297359"   Paper_ID="/247584.html"   Extracted="3540297359"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/247584.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540410309"   Paper_ID="/247584.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540423451"   Paper_ID="/247584.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540695060"   Paper_ID="/247584.html"   Extracted="3540695060"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540732292"   Paper_ID="/247584.html"   Extracted="3540732292"   />

            <identifier   Org="ISBN:3540733698"   Paper_ID="/247584.html"   Extracted="3540733698"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540851135"   Paper_ID="/247584.html"   Extracted="3540851135"   />

      </rec>

      <rec   ID="/566860.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Learning   assumptions   for   compositional   verification,">

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

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

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

            <identifier   Org="ISBN:3540236104"   Paper_ID="/566860.html"   Extracted="3540236104"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.125"   />

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

            <identifier   Org="ISBN:354069823X"   Paper_ID="/566860.html"   Extracted="354069823X"   />

            <identifier   Org="ISBN:354070843X"   Paper_ID="/566860.html"   Extracted="354070843X"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/566860.html"   Extracted="3540712089"   />

            <identifier   Org="ISBN:3540731954"   Paper_ID="/566860.html"   Extracted="3540731954"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.125"   />

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

            <identifier   Org="ISBN:3540740600"   Paper_ID="/566860.html"   Extracted="3540740600"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.125"   />

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

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

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

            <identifier   Org="ISBN:354085570X"   Paper_ID="/566860.html"   Extracted="354085570X"   />

            <identifier   Org="ISBN:354088193X"   Paper_ID="/566860.html"   Extracted="354088193X"   />

            <identifier   Org="ISBN:3642005926"   Paper_ID="/566860.html"   Extracted="3642005926"   />

            <identifier   Org="ISBN:3642007678"   Paper_ID="/566860.html"   Extracted="3642007678"   />

      </rec>

      <rec   ID="/148046.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="An   Empirical   Comparison   of   Static   Concurrency   Analysis   Techniques,">

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

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

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

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

            <identifier   Org="ISBN:3540705414"   Paper_ID="/148046.html"   Extracted="3540705414"   />

      </rec>

      <rec   ID="/53287.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   theFourthEuropean   Software   Engineering   Conference"   CiteSeer_Volume=""   Title="Tractable   Flow   Analysis   for   Anomaly   Detection   in   Distributed   Programs,">

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

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

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

            <identifier   Org="ISBN:3540612858"   Paper_ID="/53287.html"   Extracted="3540612858"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540634789"   Paper_ID="/53287.html"   Extracted="3540634789"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/85761.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="22"   Title="Evaluating   Deadlock   Detection   Methods   for   Concurrent   Software,">

            <identifier   Org="ISBN:0136006329"   Paper_ID="/85761.html"   Extracted="0136006329"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0791408744"   Paper_ID="/85761.html"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540000291"   Paper_ID="/85761.html"   Extracted="3540000291"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540001417"   Paper_ID="/85761.html"   Extracted="3540001417"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540410902"   Paper_ID="/85761.html"   Extracted="3540410902"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:3540425934"   Paper_ID="/85761.html"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

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

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

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

            <identifier   Org="ISBN:3540657037"   Paper_ID="/85761.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540676694"   Paper_ID="/85761.html"   Extracted="3540676694"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/85761.html"   Extracted="3540712089"   />

            <identifier   Org="ISBN:3540733698"   Paper_ID="/85761.html"   Extracted="3540733698"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/394952.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="15"   Title="The   Concurrency   Workbench:   {A}   Semantics-Based   Tool   for   the   Verification   of   Concurrent   Systems,">

            <identifier   Org="ISBN:0818672102"   Paper_ID="/394952.html"   Extracted="0818672102"   DDC="004.2/4/015115"   Normalized_DDC="00424015115"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540230688"   Paper_ID="/394952.html"   Extracted="3540230688"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/394952.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540425411"   Paper_ID="/394952.html"   Extracted="3540425411"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540427163"   Paper_ID="/394952.html"   Extracted="3540427163"   DDC="629.8/0285/63"   Normalized_DDC="6298028563"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540434194"   Paper_ID="/394952.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540551794"   Paper_ID="/394952.html"   Extracted="3540551794"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540580859"   Paper_ID="/394952.html"   Extracted="3540580859"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/394952.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354060300X"   Paper_ID="/394952.html"   Extracted="354060300X"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

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

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

            <identifier   Org="ISBN:3540619844"   Paper_ID="/394952.html"   Extracted="3540619844"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540667121"   Paper_ID="/394952.html"   Extracted="3540667121"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05555555555555555"   />

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

      </rec>

      <rec   ID="/272329.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Patterns   in   Property   Specifications   for   Finite-State   Verification,">

            <identifier   Org="ISBN:0849319854"   Paper_ID="/272329.html"   Extracted="0849319854"   DDC="670.42/7"   Normalized_DDC="670427"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0849328241"   Paper_ID="/272329.html"   Extracted="0849328241"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1402061471"   Paper_ID="/272329.html"   Extracted="1402061471"   DDC="004.256"   Normalized_DDC="004256"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540000291"   Paper_ID="/272329.html"   Extracted="3540000291"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540001166"   Paper_ID="/272329.html"   Extracted="3540001166"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540231358"   Paper_ID="/272329.html"   Extracted="3540231358"   DDC="005.10943"   Normalized_DDC="00510943"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:3540410309"   Paper_ID="/272329.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540439161"   Paper_ID="/272329.html"   Extracted="3540439161"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540695060"   Paper_ID="/272329.html"   Extracted="3540695060"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540712887"   Paper_ID="/272329.html"   Extracted="3540712887"   />

            <identifier   Org="ISBN:3540732098"   Paper_ID="/272329.html"   Extracted="3540732098"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540733698"   Paper_ID="/272329.html"   Extracted="3540733698"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540785671"   Paper_ID="/272329.html"   Extracted="3540785671"   />

      </rec>

      <rec   ID="/408224.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="Tool-Supported   Program   Abstraction   for   Finite-State   Verification,">

            <identifier   Org="ISBN:0769521258"   Paper_ID="/408224.html"   Extracted="0769521258"   />

            <identifier   Org="ISBN:1402006071"   Paper_ID="/408224.html"   Extracted="1402006071"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:1586033425"   Paper_ID="/408224.html"   Extracted="1586033425"   DDC="620/.00285/5"   Normalized_DDC="620002855"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586035703"   Paper_ID="/408224.html"   Extracted="1586035703"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540001417"   Paper_ID="/408224.html"   Extracted="3540001417"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:354022940X"   Paper_ID="/408224.html"   Extracted="354022940X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540292098"   Paper_ID="/408224.html"   Extracted="3540292098"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/408224.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:3540434194"   Paper_ID="/408224.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/408224.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/408224.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/408224.html"   Extracted="3540712089"   />

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

      </rec>

      <rec   ID="/277690.html"   Type="phdthesis"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Data   Flow   Analysis   for   Verifying   Correctness   Properties   of   Concurrent   Programs,">

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

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

      </rec>

      <rec   ID="/153829.html"   Type="inproceedings"   CiteSeer_Book="Automated   Software   Engineering"   CiteSeer_Volume=""   Title="Modular   Flow   Analysis   for   Concurrent   Software,">

            <identifier   Org="ISBN:0780399269"   Paper_ID="/153829.html"   Extracted="0780399269"   />

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

      </rec>

      <rec   ID="/533134.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Extended   static   checking   for   Java,">

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

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

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

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

            <identifier   Org="ISBN:3540223800"   Paper_ID="/533134.html"   Extracted="3540223800"   DDC="004.2/1/0151"   Normalized_DDC="004210151"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:3540242872"   Paper_ID="/533134.html"   Extracted="3540242872"   DDC="332.1/78"   Normalized_DDC="332178"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354025420X"   Paper_ID="/533134.html"   Extracted="354025420X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

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

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

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

            <identifier   Org="ISBN:3540278826"   Paper_ID="/533134.html"   Extracted="3540278826"   DDC="004.13/1"   Normalized_DDC="004131"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:3540712089"   Paper_ID="/533134.html"   Extracted="3540712089"   />

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

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

            <identifier   Org="ISBN:3540894381"   Paper_ID="/533134.html"   Extracted="3540894381"   />

      </rec>

      <rec   ID="/210287.html"   Type="inproceedings"   CiteSeer_Book="Proc   9th   INternational   Conference   on   Computer   Aided   Verification   CAV97"   CiteSeer_Volume=""   Title="Construction   of   Abstract   State   Graphs   with   {PVS},">

            <identifier   Org="ISBN:1586035703"   Paper_ID="/210287.html"   Extracted="1586035703"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.05555555555555555"   />

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

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

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

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

            <identifier   Org="ISBN:354024297X"   Paper_ID="/210287.html"   Extracted="354024297X"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05555555555555555"   />

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

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

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

            <identifier   Org="ISBN:3540439412"   Paper_ID="/210287.html"   Extracted="3540439412"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540657037"   Paper_ID="/210287.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/210287.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540672818"   Paper_ID="/210287.html"   Extracted="3540672818"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

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

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

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

            <identifier   Org="ISBN:3540732098"   Paper_ID="/210287.html"   Extracted="3540732098"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540741275"   Paper_ID="/210287.html"   Extracted="3540741275"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:354088386X"   Paper_ID="/210287.html"   Extracted="354088386X"   />

      </rec>

      <rec   ID="/667938.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Lazy   abstraction,">

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

            <identifier   Org="ISBN:0818670339"   Paper_ID="/667938.html"   Extracted="0818670339"   />

            <identifier   Org="ISBN:1402062532"   Paper_ID="/667938.html"   Extracted="1402062532"   />

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

            <identifier   Org="ISBN:1586036254"   Paper_ID="/667938.html"   Extracted="1586036254"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540408010"   Paper_ID="/667938.html"   Extracted="3540408010"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540586180"   Paper_ID="/667938.html"   Extracted="3540586180"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/667938.html"   Extracted="3540712089"   />

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

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

            <identifier   Org="ISBN:3540851135"   Paper_ID="/667938.html"   Extracted="3540851135"   />

      </rec>

      <rec   ID="/206686.html"   Type="inproceedings"   CiteSeer_Book="ObjectOriented   Technology   ECOOP99   Workshop   Reader"   CiteSeer_Volume=""   Title="A   Case   Study   in   Class   Library   Verification:   {Java's}   Vector   Class,">

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

            <identifier   Org="ISBN:1852332018"   Paper_ID="/206686.html"   Extracted="1852332018"   DDC="629.45"   Normalized_DDC="62945"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540675302"   Paper_ID="/206686.html"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540678638"   Paper_ID="/206686.html"   Extracted="3540678638"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:8020006338"   Paper_ID="/206686.html"   Extracted="8020006338"   />

            <identifier   Org="ISBN:9014078080"   Paper_ID="/206686.html"   Extracted="9014078080"   />

      </rec>

      <rec   ID="/417014.html"   Type="inproceedings"   CiteSeer_Book="Proc   of   the   7th   International   SPIN   Workshop"   CiteSeer_Volume=""   Title="Logic   Verification   of   {ANSI}-{C}   code   with   {SPIN},">

            <identifier   Org="ISBN:0780365992"   Paper_ID="/417014.html"   Extracted="0780365992"   />

            <identifier   Org="ISBN:078037231X"   Paper_ID="/417014.html"   Extracted="078037231X"   />

            <identifier   Org="ISBN:0780390989"   Paper_ID="/417014.html"   Extracted="0780390989"   />

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

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

            <identifier   Org="ISBN:1586036254"   Paper_ID="/417014.html"   Extracted="1586036254"   />

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

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

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

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

            <identifier   Org="ISBN:354022940X"   Paper_ID="/417014.html"   Extracted="354022940X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540410309"   Paper_ID="/417014.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540439978"   Paper_ID="/417014.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540851135"   Paper_ID="/417014.html"   Extracted="3540851135"   />

      </rec>

      <rec   ID="/60275.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="{S}tatic   {D}etection   of   {D}eadlocks   in   {P}olynomial   {T}ime,"   />

      <rec   ID="/115033.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="17"   Title="Lattice   Frameworks   for   Multisource   and   Bidirectional   Data   Flow   Problems,">

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

            <identifier   Org="ISBN:3540655107"   Paper_ID="/115033.html"   Extracted="3540655107"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.5"   />

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

      </rec>

      <rec   ID="/42818.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Conservative   Data   Flow   Algorithm   for   Detecting   All   Pairs   of   Statements   that   May   Happen   in   Parallel,">

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

            <identifier   Org="ISBN:1581137869"   Paper_ID="/42818.html"   Extracted="1581137869"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:1595936025"   Paper_ID="/42818.html"   Extracted="1595936025"   />

            <identifier   Org="ISBN:3540285849"   Paper_ID="/42818.html"   Extracted="3540285849"   DDC="005.1/3"   Normalized_DDC="00513"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540401954"   Paper_ID="/42818.html"   Extracted="3540401954"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.16666666666666666"   />

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

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

            <identifier   Org="ISBN:3540686215"   Paper_ID="/42818.html"   Extracted="3540686215"   />

            <identifier   Org="ISBN:3540693297"   Paper_ID="/42818.html"   Extracted="3540693297"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/42818.html"   Extracted="3540712089"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/42818.html"   Extracted="3540851135"   />

            <identifier   Org="ISBN:3540893296"   Paper_ID="/42818.html"   Extracted="3540893296"   />

      </rec>

      <rec   ID="/127710.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Data   Flow   Analysis   for   Checking   Properties   of   Concurrent   Java   Programs,">

            <identifier   Org="ISBN:0769506348"   Paper_ID="/127710.html"   Extracted="0769506348"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

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

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

            <identifier   Org="ISBN:1586030779"   Paper_ID="/127710.html"   Extracted="1586030779"   />

            <identifier   Org="ISBN:1595936025"   Paper_ID="/127710.html"   Extracted="1595936025"   />

            <identifier   Org="ISBN:3540262865"   Paper_ID="/127710.html"   Extracted="3540262865"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540285849"   Paper_ID="/127710.html"   Extracted="3540285849"   DDC="005.1/3"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

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

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

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

      </rec>

      <rec   ID="/215062.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="An   Efficient   Algorithm   for   Computing   {MHP}   Information   for   Concurrent   Java   Programs,">

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

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

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

            <identifier   Org="ISBN:1595936025"   Paper_ID="/215062.html"   Extracted="1595936025"   />

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

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

            <identifier   Org="ISBN:3540285849"   Paper_ID="/215062.html"   Extracted="3540285849"   DDC="005.1/3"   Normalized_DDC="00513"   Normalized_Weight="0.125"   />

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

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

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

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

      </rec>

      <rec   ID="/150035.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   theSixthEuropean   Software   Engineering   ConferenceESECFSE   97"   CiteSeer_Volume=""   Title="Applying   Static   Analysis   to   Software   Architectures,">

            <identifier   Org="ISBN:0769505465"   Paper_ID="/150035.html"   Extracted="0769505465"   />

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

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

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

            <identifier   Org="ISBN:1586030787"   Paper_ID="/150035.html"   Extracted="1586030787"   DDC="629.8/9263"   Normalized_DDC="62989263"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1591403669"   Paper_ID="/150035.html"   Extracted="1591403669"   DDC="004/.068"   Normalized_DDC="004068"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540009213"   Paper_ID="/150035.html"   Extracted="3540009213"   DDC="006.3/7"   Normalized_DDC="00637"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540289682"   Paper_ID="/150035.html"   Extracted="3540289682"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354043738X"   Paper_ID="/150035.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.1111111111111111"   />

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

      </rec>

      <rec   ID="/435148.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Classifying   Propertie:   An   Alternative   to   the   Safety-Liveness   Classification,"   />

      <rec   ID="/503747.html"   Type="inproceedings"   CiteSeer_Book="Workshop   on   Program   Analysis   For   Software   Tools   and   Engineering"   CiteSeer_Volume=""   Title="Using   Partial   Order   Techniques   to   Improve   Performance   of   Data   Flow   Analysis   Based   Verification,">

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

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

      </rec>

      <rec   ID="/74989.html"   Type="book"   CiteSeer_Book="The   Cambridge   CAP   Computer   and   Its   Operating   System"   CiteSeer_Volume=""   Title="The   Cambridge   {CAP}   Computer   and   Its   Operating   System,">

            <identifier   Org="ISBN:0313295425"   Paper_ID="/74989.html"   Extracted="0313295425"   DDC="016.004/09"   Normalized_DDC="01600409"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0415060427"   Paper_ID="/74989.html"   Extracted="0415060427"   DDC="609.2/2"   Normalized_DDC="60922"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0444003576"   Paper_ID="/74989.html"   Extracted="0444003576"   DDC="001.6/4044"   Normalized_DDC="00164044"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0444003584"   Paper_ID="/74989.html"   Extracted="0444003584"   DDC="001.6/4044"   Normalized_DDC="00164044"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818605324"   Paper_ID="/74989.html"   Extracted="0818605324"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:0818622652"   Paper_ID="/74989.html"   Extracted="0818622652"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818644028"   Paper_ID="/74989.html"   Extracted="0818644028"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540002235"   Paper_ID="/74989.html"   Extracted="3540002235"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540526099"   Paper_ID="/74989.html"   Extracted="3540526099"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/86322.html"   Type="inproceedings"   CiteSeer_Book="Workshop   on   Program   Analysis   For   Software   Tools   and   Engineering"   CiteSeer_Volume=""   Title="Efficient   Composite   Data   Flow   Analysis   Applied   to   Concurrent   Programs,"   />

      <rec   ID="/276499.html"   Type="inproceedings"   CiteSeer_Book="Advances   in   Languages   and   Compilers   for   Parallel   Computing   1990   Workshop"   CiteSeer_Volume=""   Title="Detecting   Data   Races   in   Parallel   Program   Executions,">

            <identifier   Org="ISBN:0271007281"   Paper_ID="/276499.html"   Extracted="0271007281"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.2"   />

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

            <identifier   Org="ISBN:0546662420"   Paper_ID="/276499.html"   Extracted="0546662420"   />

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

            <identifier   Org="ISBN:0818642211"   Paper_ID="/276499.html"   Extracted="0818642211"   />

            <identifier   Org="ISBN:0897913949"   Paper_ID="/276499.html"   Extracted="0897913949"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540575022"   Paper_ID="/276499.html"   Extracted="3540575022"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:354070888X"   Paper_ID="/276499.html"   Extracted="354070888X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/245461.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="22"   Title="Context-sensitive   synchronization-sensitive   analysis   is   undecidable,">

            <identifier   Org="ISBN:1581133499"   Paper_ID="/245461.html"   Extracted="1581133499"   />

            <identifier   Org="ISBN:1581136285"   Paper_ID="/245461.html"   Extracted="1581136285"   />

            <identifier   Org="ISBN:1586035703"   Paper_ID="/245461.html"   Extracted="1586035703"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.3333333333333333"   />

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

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

            <identifier   Org="ISBN:3540851135"   Paper_ID="/245461.html"   Extracted="3540851135"   />

            <identifier   Org="ISBN:3642007678"   Paper_ID="/245461.html"   Extracted="3642007678"   />

            <identifier   Org="ISBN:3642026516"   Paper_ID="/245461.html"   Extracted="3642026516"   />

      </rec>

      <rec   ID="/139817.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   POPL   95   22nd   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Precise   Interprocedural   Dataflow   Analysis   via   Graph   Reachability,">

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

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

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

            <identifier   Org="ISBN:3540285849"   Paper_ID="/139817.html"   Extracted="3540285849"   DDC="005.1/3"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

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

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

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

            <identifier   Org="ISBN:3540423451"   Paper_ID="/139817.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

            <identifier   Org="ISBN:3540712089"   Paper_ID="/139817.html"   Extracted="3540712089"   />

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

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

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

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

            <identifier   Org="ISBN:354088386X"   Paper_ID="/139817.html"   Extracted="354088386X"   />

      </rec>

      <rec   ID="/714191.html"   Type="article"   CiteSeer_Book="ACM   SIGPLAN   Notices"   CiteSeer_Volume="36"   Title="Pointer   and   escape   analysis   for   multithreaded   programs,">

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

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

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

            <identifier   Org="ISBN:1581136285"   Paper_ID="/714191.html"   Extracted="1581136285"   />

            <identifier   Org="ISBN:1581139454"   Paper_ID="/714191.html"   Extracted="1581139454"   />

            <identifier   Org="ISBN:1584886781"   Paper_ID="/714191.html"   Extracted="1584886781"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1852337109"   Paper_ID="/714191.html"   Extracted="1852337109"   DDC="629.45/84/09"   Normalized_DDC="629458409"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1852337281"   Paper_ID="/714191.html"   Extracted="1852337281"   DDC="004.019"   Normalized_DDC="004019"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:3540235264"   Paper_ID="/714191.html"   Extracted="3540235264"   />

            <identifier   Org="ISBN:3540254110"   Paper_ID="/714191.html"   Extracted="3540254110"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540288961"   Paper_ID="/714191.html"   Extracted="3540288961"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

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

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

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

            <identifier   Org="ISBN:3540712089"   Paper_ID="/714191.html"   Extracted="3540712089"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/714191.html"   Extracted="3540851135"   />

      </rec>

      <rec   ID="/624487.html"   Type="inproceedings"   CiteSeer_Book="Proc   of   the   15th   IEEE   International   Conference   on   Automated   Software   Engineering"   CiteSeer_Volume=""   Title="Model   Checking   Programs,">

            <identifier   Org="ISBN:0769507107"   Paper_ID="/624487.html"   Extracted="0769507107"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540405240"   Paper_ID="/624487.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540410309"   Paper_ID="/624487.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

            <identifier   Org="ISBN:3540698493"   Paper_ID="/624487.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:3540754156"   Paper_ID="/624487.html"   Extracted="3540754156"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540755225"   Paper_ID="/624487.html"   Extracted="3540755225"   />

            <identifier   Org="ISBN:3540758666"   Paper_ID="/624487.html"   Extracted="3540758666"   />

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

            <identifier   Org="ISBN:3540851135"   Paper_ID="/624487.html"   Extracted="3540851135"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Flow   Analysis   for   Verifying   Properties   of   Concurrent   Software">

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

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

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

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

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

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

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

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

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

      </rec>

</references_metadata>

www.000webhost.com