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>