Simon Helsen, Peter Thiemann  Home/Search
Context Related
| informatik.unifrei...report00173.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.unifreibur...research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a novel technique for offline partial evaluation of functional languages with an ML-style typing discipline. Our program specialization method comprises a polymorphic binding-time analysis with polymorphic recursion. Based on the region calculus of Tofte and Talpin, we develop a binding-time analysis as a constraint analysis on top of region inference. Our insight is to regard binding times as properties of regions. (Update)
Context of citations to this paper: More
.... theory in this paper is used in other work to prove specialization soundness of o ine partial evaluation for ML like languages [20]. We recycle a lot of Gordon s work on bisimilarity in functional programming languages [16,17] It seems that bisimilarity provides a rather...
...recursion for regions. In other work, we use our theory to prove the soundness of a specializer for an ML polymorphic language [22]. We refrain from investigating an untyped equational theory since our region calculus is inherently type based: region insertion is guided...
Cited by: More
An Equational Theory for a Region Calculus - Revised - Helsen (2002) (Correct)
An Equational Theory for a Region Calculus - Helsen (2002) (Correct)
An Operational Theory for a Region Calculus - Helsen (2001) (Correct)
Similar documents (at the sentence level):
61.8%: Polymorphic Specialization for ML - Helsen, Thiemann (2002) (Correct)
Active bibliography (related documents): More All
0.7: Binding-time Analysis for Polymorphic Types - Heldal, Hughes (2001) (Correct)
0.6: Fragmental Specialization - Helsen, Thiemann (2000) (Correct)
0.5: The PGG System: User Manual - Thiemann (2000) (Correct)
Similar documents based on text: More All
1.5: Polymorphic Specialization for Polymorphic Programming Languages - Helsen, Thiemann (Correct)
1.2: Syntactic Type Soundness for the Region Calculus - Helsen, Thiemann (2000) (Correct)
0.9: Syntactic Type Soundness Results for the Region Calculus - Calcagno, Helsen, Thiemann (2001) (Correct)
Related documents from co-citation: More All
5: Region analysis and a pi-calculus with groups (context) - Zilio, Gordon - 2000
4: A structural approach to operational semantics - Plotkin - 1981
4: Lambda-Calculus Models of Programming Languages (context) - Morris - 1968
BibTeX entry: (Update)
Simon Helsen and Peter Thiemann. Polymorphic specialization for ML. Unpublished draft, October 2001. http://citeseer.ist.psu.edu/helsen01polymorphic.html More
@misc{ helsen01polymorphic,
author = "S. Helsen and P. Thiemann",
title = "Polymorphic specialization for {ML}",
month = oct,
year = "2001",
url = "citeseer.ist.psu.edu/helsen01polymorphic.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
809 A theory of type polymorphism in programming (context) - Milner - 1978
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
206 Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
188 Region-based memory management - Tofte, Talpin - 1997
185 De nition of Standard ML (context) - Milner, Tofte et al. - 1997
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999
118 Lambda Calculus Models of Programming Languages (context) - Morris - 1968
88 Implementation of the typed call-by-value -calculus using a.. (context) - Tofte, Talpin - 1994
65 Binding time analysis for higher order untyped functional la.. (context) - Consel - 1990
54 Programming with Regions in the ML Kit - Tofte, Birkedal et al. - 2001
49 Polymorphic binding-time analysis (context) - Henglein, Mossin - 1994
43 Accurate binding-time analysis for imperative languages: Flo.. - Hornof, Noy - 2000
41 Continuation-based partial evaluation - Lawall, Danvy - 1994
38 volume 34 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Nielson, Nielson et al. - 1992
38 Partial evaluation of Standard ML (context) - Birkedal, Welinder - 1993
36 ACM Transactions on Programming Languages and Systems (context) - Tofte, Birkedal et al. - 1998
33 Journal of Functional Programming (context) - Talpin, Jouvelot et al. - 1992
28 Polyvariant binding-time analysis for applicative languages - Consel
27 A computational formalization for partial evaluation - Hatcli, Danvy - 1997
26 Cogen in six lines - Thiemann - 1996
25 Binding time analysis for polymorphically typed higher order.. (context) - Mogensen - 1989
24 Sound specialization in the presence of computational e ects - Lawall, Thiemann - 1997
24 Integrating functional and imperative programming (context) - Gi, John et al. - 1986
22 Partial evaluation for higher-order languages with state - Thiemann, Dussart - 1997
21 Algebraic reconstruction of types and e ects (context) - Jouvelot, Gi - 1991
20 Region analysis and the polymorphic lambda calculus - Banerjee, Heintze et al. - 1999
17 Handwriting cogen to avoid problems with static typing (context) - Launchbury, Holst - 1991
15 A tour of Schism (context) - Consel
15 Improving CPS-based partial evaluation: Writing cogen by han.. - Bondorf, Dussart - 1994
14 Functional Programming Languages and Computer Architecture (context) - Hughes - 1991
14 A polyvariant binding time analysis (context) - Rytz, Gengler - 1992
14 Syntactic type soundness for the region calculus - Helsen, Thiemann - 2000
14 A simpli ed account of polymorphic references (context) - Harper - 1994
13 Polymorphic recursion and subtype quali cations: Polymorphic.. (context) - Dussart, Henglein et al. - 1995
13 Ecient type inference for higher-order binding-time analysis (context) - Henglein
13 A constraint-based region inference algorithm - Birkedal, Tofte - 2001
11 Relational reasoning about contexts - Lassen - 1998
10 Implementing memoization for partial evaluation - Thiemann - 1996
10 Evaluation Partielle et Generation de Compilateurs (context) - Consel - 1989
9 Automatic binding-time analysis for a typed lambda calculus (context) - Nielson, Nielson - 1988
8 Syntactic type soundness results for the region calculus - Calcagno, Helsen et al. - 2002
7 Polyvariant expansion and compiler generators - Thiemann, Sperber - 1996
7 A polyvariant binding time analysis handling partially known.. (context) - Gengler, Rytz - 1992
7 Extracting polyvariant binding time analysis from polyvarian.. (context) - Bulyonkov
6 Module-sensitive program specialisation (context) - Dussart, Heldal et al. - 1997
6 A uni ed framework for binding-time analysis (context) - Thiemann - 1997
6 Boolean constraints for binding-time analysis - Glynn, Stuckey et al. - 2001
6 Separate polyvariant bindingtime reconstruction - Consel, Jouvelot et al. - 1994
5 Extending a partial evaluator which supports separate compil.. (context) - Heldal, Hughes - 2000
5 Uni cation and polymorphism in region inference (context) - Tofte, Birkedal - 2000
5 Enforcing safety properties using type specialization - Thiemann - 2001
3 a better support of static data ow (context) - Consel, Danvy
3 dkpubdanvyPaperlawall danvy lfp extended (context) - Lawall, Continuation et al. - 1995
3 The Treatment of Polymorphism and Modules in a Partial Evalu.. (context) - Heldal - 2001
3 Correctness of a region-based binding-time analysis - Thiemann - 1997
3 Binding-time analysis for polymorphic types - Heldal, Hughes - 2001
2 Fragmental specialization - Helsen, Thiemann - 2000
2 A note on: \A simpli ed account of polymorphic references (context) - Harper - 1996
2 An equational theory for a region calculus - Helsen - 2002
Documents on the same site (http://www.informatik.uni-freiburg.de/~helsen/research.html): More
Fragmental Specialization - Helsen, Thiemann (2000) (Correct)
Syntactic Type Soundness for the Region Calculus - Helsen, Thiemann (2000) (Correct)
Syntactic Type Soundness Results for the Region Calculus - Calcagno, Helsen, Thiemann (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC