Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 8

Title: A Syntactic Approach to Inferring the Life-Time of Data-Regions

Author:

Author:

Subject: Jean-pierre Talpin,Yan-mei Tang A Syntactic Approach to Inferring the Life-Time of Data-Regions

Description: Structured operational semantics is widely recognized as a conceptually simple and practically expressive framework to formally design type systems in programming languages. Being easy to reason with, the type-theoretical setting of operational semantics is used increasingly to formulate program analysis techniques, called effect systems. Effect systems distinguish between the specification of a program analysis problem, defined as a logic, and its implementation, by using resolution and inference techniques. However, specifying precise program analysis, by considering expressive type systems, requires addressing difficult type-theoretical issues. Giving polymorphic types to recursive functions or using subtyping in the presence of type polymorphism are such issues. We present a new program analysis technique which is first to correctly integrate these type-theoretical features within a decidable setting. Our analysis statically determines the life-time of aliased data regions. It uses...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1995-11-23

Pubyear: 1995

Format: ps

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

Source: http://www.daimi.aau.dk/~bra8130/LOMAPS_archive/ECRC-3.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/155404.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Better   Static   Memory   Management:   Improving   Region-Based   Analysis   of   Higher-Order   Languages,">

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

            <identifier   Org="ISBN:0897916972"   Paper_ID="/155404.html"   Extracted="0897916972"   />

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

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

            <identifier   Org="ISBN:1841501883"   Paper_ID="/155404.html"   Extracted="1841501883"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540679014"   Paper_ID="/155404.html"   Extracted="3540679014"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.1111111111111111"   />

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

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

            <identifier   Org="ISBN:3642005144"   Paper_ID="/155404.html"   Extracted="3642005144"   />

      </rec>

      <rec   ID="/193439.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Separate   polyvariant   binding   time   reconstruction,">

            <identifier   Org="ISBN:0897917200"   Paper_ID="/193439.html"   Extracted="0897917200"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

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

            <identifier   Org="ISBN:354060359X"   Paper_ID="/193439.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/285362.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="15"   Title="Type   Inference   with   Polymorphic   Recursion,">

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

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

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

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

            <identifier   Org="ISBN:3540197605"   Paper_ID="/285362.html"   Extracted="3540197605"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540201947"   Paper_ID="/285362.html"   Extracted="3540201947"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540237275"   Paper_ID="/285362.html"   Extracted="3540237275"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/472976.html"   Type="inproceedings"   CiteSeer_Book="Conference   Record   of   the   Eighteenth   Annual   ACM   Symposium   on   Principles   of   Programming   Languages   Orlando   Florida"   CiteSeer_Volume=""   Title="Algebraic   Reconstruction   of   Types   and   Effects,">

            <identifier   Org="ISBN:0818627352"   Paper_ID="/472976.html"   Extracted="0818627352"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:1586031724"   Paper_ID="/472976.html"   Extracted="1586031724"   DDC="005.101"   Normalized_DDC="005101"   Normalized_Weight="0.0625"   />

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

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

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

            <identifier   Org="ISBN:3540578870"   Paper_ID="/472976.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

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

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

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

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

            <identifier   Org="ISBN:3540649255"   Paper_ID="/472976.html"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540653074"   Paper_ID="/472976.html"   Extracted="3540653074"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

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

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

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

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

      </rec>

      <rec   ID="/720939.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="{A   Structural   Approach   to   Operational   Semantics},">

            <identifier   Org="ISBN:0521631688"   Paper_ID="/720939.html"   Extracted="0521631688"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540160426"   Paper_ID="/720939.html"   Extracted="3540160426"   />

            <identifier   Org="ISBN:3540235809"   Paper_ID="/720939.html"   Extracted="3540235809"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540283722"   Paper_ID="/720939.html"   Extracted="3540283722"   />

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

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

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

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

            <identifier   Org="ISBN:3540534792"   Paper_ID="/720939.html"   Extracted="3540534792"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

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

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

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

            <identifier   Org="ISBN:3540580433"   Paper_ID="/720939.html"   Extracted="3540580433"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

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

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

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

            <identifier   Org="ISBN:3540784977"   Paper_ID="/720939.html"   Extracted="3540784977"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/183857.html"   Type="inproceedings"   CiteSeer_Book="LISP   and   Functional   Programming"   CiteSeer_Volume=""   Title="Space-Efficient   Closure   Representations,">

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

            <identifier   Org="ISBN:0521631688"   Paper_ID="/183857.html"   Extracted="0521631688"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0521714729"   Paper_ID="/183857.html"   Extracted="0521714729"   />

            <identifier   Org="ISBN:052182060X"   Paper_ID="/183857.html"   Extracted="052182060X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0897916972"   Paper_ID="/183857.html"   Extracted="0897916972"   />

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

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

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

            <identifier   Org="ISBN:1841500240"   Paper_ID="/183857.html"   Extracted="1841500240"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:354060359X"   Paper_ID="/183857.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540649255"   Paper_ID="/183857.html"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

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

      </rec>

      <rec   ID="/81320.html"   Type="inproceedings"   CiteSeer_Book="Seventh   Annual   IEEE   Symposium   on   Logic   in   Computer   Science   Santa   Cruz   California"   CiteSeer_Volume=""   Title="The   Type   and   Effect   Discipline,">

            <identifier   Org="ISBN:0387948759"   Paper_ID="/81320.html"   Extracted="0387948759"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540713891"   Paper_ID="/81320.html"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540732276"   Paper_ID="/81320.html"   Extracted="3540732276"   />

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

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

      </rec>

      <rec   ID="/118419.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Syntactic   Type   Polymorphism   for   Recursive   Functions,"   />

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   Syntactic   Approach   to   Inferring   the   Life-Time   of   Data-Regions"   />

</references_metadata>

www.000webhost.com