Torben Amtoft, Franklyn Turbak  Home/Search
Context Related
| churchproject.org...hfulTR2000.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: churchproject.org/reports/ele... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recent work has shown equivalences between various type systems and ow logics. Ideally, the translations upon which such equivalences are based should be faithful in the sense that information is not lost in round-trip translations from ows to types and back or from types to ows and back. Building on the work of Nielson & Nielson and of Palsberg & Pavlopoulou, we present the rst faithful translations between a class of nitary polyvariant ow analyses and a type system supporting polymorphism... (Update)
Cited by: More
Implementing Compositional Analysis Using Intersection.. - Kfoury, Washburn, Wells (2003) (Correct)
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (Correct)
Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2002) (Correct)
Active bibliography (related documents): More All
0.3: Engineering a Customizable Intermediate Representation - Palacz, Baker, Flack.. (2003) (Correct)
0.3: An Uncaught Exception Analysis for Java - Jo, Chang, Yi, Choe (2002) (Correct)
0.2: Space Issues in Compiling with Intersection and Union.. - Dimock, Westmacott.. (2000) (Correct)
Similar documents based on text: More All
0.2: A Calculus with Polymorphic and Polyvariant Flow Types - Wells, Dimock, Muller, Turbak (Correct)
Related documents from co-citation: More All
12: From polyvariant flow information to intersection and union types - Palsberg, Pavlopoulou - 1998
8: A typed intermediate language for flow-directed compilation - Wells, Dimock et al. - 1997
8: Strongly typed flow-directed representation transformations - Dimock, Muller et al. - 1997
BibTeX entry: (Update)
T. Amtoft and F. Turbak. Faithful translations between polyvariant flows and polymorphic types. In ESOP '00 [ESOP00], pp. 26--40. 18 http://citeseer.ist.psu.edu/amtoft00faithful.html More
@article{ amtoft00faithful,
author = "Torben Amtoft and Franklyn Turbak",
title = "Faithful Translations between Polyvariant Flows and Polymorphic Types",
journal = "Lecture Notes in Computer Science",
volume = "1782",
pages = "26--??",
year = "2000",
url = "citeseer.ist.psu.edu/amtoft00faithful.html" }
Citations (may not include all citations):92 Subtyping recursive types - Roberto, Luca - 1993
49 and type-based closure analysis (context) - Anindya, modular - 1997
41 The Cartesian product algorithm (context) - Ole - 1995
36 Natural-semantics-based abstract interpretation (context) - David - 1995
23 From polyvariant ow information to intersection and union ty.. (context) - Jens, Christina - 1995
22 int'l conf (context) - Proc - 1997
15 Strongly typed ow-directed representation transformations (context) - Allyn, Robert et al. - 1997
13 Control- ow analysis and type systems (context) - Nevin - 1995
3 Control ow analysis of higher order languages (context) - Olin - 1991
2 Interprocedural control ow analysis (context) - Flemming, Hanne - 1999
1 A uni prog (context) - Suresh, Stephen - 1995
1 Systematic ow analyses for CML (context) - Kirsten, Solberg et al. - 1997
1 Type-directed analysis for typed intermediate languages (context) - Suresh, Stephen et al. - 1997
1 A type system equivalent to ow analysis (context) - of, symp et al. - 1995
1 Hanne Riis (context) - Flemming - 1997
1 From polyvariant intersection and union types (context) - Jens, Christina - 1999
1 A typed intermediate ow-directed compilation (context) - Wells - 1997
1 Polymorphic splitting: An e ective polyvariant ow analysis (context) - Andrew, Suresh - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.church-project.org/reports/electronic/): More
Types, Potency, and Idempotency: Why Nonlinearity and.. - Neergaard, Mairson (2004) (Correct)
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (Correct)
Meta-Programming through Typeful Code Representation - Chen, Xi (2003) (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