Pascal Fradet  Home/Search
Context Related
| irisa.fr/local/lande/pffpca91.ps.Z irisa.fr/lande/fradet/PDFs...FPCA91.pdf 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: irisa.fr/EXTERNE/p...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntactic and semantics-based) in that it applies to higher-order languages and to most sequential evaluation strategies. The main idea of our approach lies in the use of continuations. One advantage of continuation expressions is that evaluation ordering is made explicit in the syntax of expressions. So, syntactic detection... (Update)
Context of citations to this paper: More
.... variables in recursive equations [41] Likewise, Fradet has investigated the detection of single threaded variables using continuations [19]. Such variables come in two flavors: global, read only variables, and updatable, single threaded variables. Lambda dropping reveals...
.... the detection of global variables in recursive equations [33] and Fradet, the detection of single threaded variables using continuations [16]. Such variables come in two flavors: global, read only variables, and updatable, single threaded variables. Lambda dropping reveals...
Cited by: More
Separating Stages in the Continuation-Passing Style.. - Lawall, Danvy (1993) (Correct)
Analysis and Efficient Implementation of Functional Programs - Sestoft (1991) (Correct)
Lambda-Dropping: Transforming Recursive Equations into.. - Danvy, Schultz (1999) (Correct)
Active bibliography (related documents): More All
0.5: Semantic Analyses for Storage Management Optimizations in.. - Park (1991) (Correct)
0.3: A Semantic Model of Reference Counting and its Abstraction - Hudak (1986) (Correct)
0.3: Proving the Correctness of Storage Representations - Wand, Oliva (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.1: Formal Verification of a Merge-Sort Program with Static.. - Paul Black National (Correct)
0.1: DML - A Meta-language and System for the Generation of.. - Pettersson, Fritzson (1992) (Correct)
0.1: An Inference Algorithm For The Static Verification Of.. - Fradet, Gaugne, Le.. (1996) (Correct)
Related documents from co-citation: More All
11: Replacing function parameters by global variables (context) - Sestoft - 1989
8: Compiling with Continuations (context) - Appel - 1992
8: Prentice-Hall international series in computer science (context) - Jones, Implementation et al. - 1987
BibTeX entry: (Update)
Pascal Fradet. Syntactic detection of single-threading using continuations. In Hughes [18], pages 241--258. http://citeseer.ist.psu.edu/fradet91syntactic.html More
@inproceedings{ fradet91syntactic,
author = "Pascal Fradet",
title = "Syntactic Detection of Single-Threading Using Continuations",
booktitle = "Functional Programming Languages and Computer Architecture",
pages = "241-258",
year = "1991",
url = "citeseer.ist.psu.edu/fradet91syntactic.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
254 Comprehending monads - Wadler - 1990
220 Orbit: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986
184 Linear types can change the world - Wadler - 1990
72 A semantic model of reference counting and its abstraction - Hudak - 1986
61 Detecting global variables in denotational specifications (context) - Schmidt - 1985
53 Compile-time garbage collection by sharing analysis (context) - Jones, Metayer - 1989
44 A Methodology for Language Development (context) - Schmidt - 1986
40 Single-threaded polymorphic lambda-calculus (context) - Guzman, Hudak - 1990
39 Compilation of functional languages by program transformatio.. (context) - Fradet, Metayer - 1991
28 Analysis of functional programs to detect run-time garbage c.. (context) - Inoue, Seki et al. - 1988
27 Update analysis and the efficient implementation of function.. (context) - Bloss - 1989
11 Semantics-Directed Compiler Generation (context) - Ed - 1980
10 Globalization and live variables (context) - Gomard, Sestoft - 1991
8 A compositional analysis of evaluation order and its applica.. (context) - Draghicescu, Purushothaman - 1990
8 Detecting stack-based environments in denotational definitio.. (context) - Schmidt - 1988
7 call-by-value and the l-calculus (context) - Plotkin - 1975
4 Lifetime analysis for procedure parameters (context) - Kastens, Schmidt - 1986
3 The global storage needs of a subcomputation (context) - Raoult, Sethi - 1984
1 calculus into functional machine code (context) - Fradet, Metayer et al. - 1989
1 Detection of single-threading properties in combinator notat.. (context) - Lass - 1991
1 Lambda-calculus schemata (context) - Fisher - 1972
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.irisa.fr/EXTERNE/projet/lande/BIBLIO/publications.html): More
Imagining CLP(Λ,≡αβ) - Ridoux (1995) (Correct)
Refining Multiset Transformers - Hankin, Métayer, Sands (Correct)
The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1995) (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