Torben Amtoft, Franklyn Turbak  Home/Search
Context Related
| churchproject.org...ulESOP2000.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... (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.9: Flow-Based Function Customization in the Presence.. - Dimock.. (Correct)
0.7: Program Representation Size in an Intermediate.. - Dimock.. (2001) (Correct)
0.7: Space Issues in Compiling with Intersection and Union.. - Dimock, Westmacott.. (2000) (Correct)
Similar documents based on text: More All
0.5: A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (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/article/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/article/amtoft00faithful.html" }
Citations (may not include all citations):176 Control Flow Analysis of Higher Order Languages (context) - Shivers - 1991
92 Subtyping recursive types - Amadio, Cardelli - 1993
49 and type-based closure analysis (context) - Banerjee, modular
41 The cartesian product algorithm (context) - Agesen - 1995
36 Natural-semantics-based abstract interpretation (context) - Schmidt
23 From polyvariant ow information to intersection and union ty.. (context) - Palsberg, Pavlopoulou - 1998
23 From polyvariant ow information to intersection and union ty.. (context) - Palsberg, Pavlopoulou - 1999
18 A type system equivalent to ow analysis (context) - Palsberg, O'Keefe - 1995
15 Strongly typed owdirected representation transformations (context) - Dimock, Muller et al.
14 A uni ed treatment of ow analysis in higher-order languages (context) - Jagannathan, Weeks - 1995
13 Control- ow analysis and type systems (context) - Heintze
13 A typed intermediate language for ow-directed compilation (context) - Wells, Dimock et al. - 1997
12 Type-directed ow analysis for typed intermediate languages (context) - Jagannathan, Weeks et al. - 1997
9 Faithful translations between polyvariant ows and polymorphi.. (context) - Amtoft, Turbak - 2000
3 Systematic realisation of control ow analyses for CML (context) - Gasser, Nielson et al.
2 Interprocedural control ow analysis (context) - Nielson, Nielson - 1999
2 ective polyvariant ow analysis (context) - Wright, Jagannathan et al. - 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