Ricardo Peņa, Clara Segura  Home/Search
Context Related
| dalila.sip.ucm.es/miembro...techrep2.ps 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: dalila.sip.ucm.es/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is an extension of a previous work where two non-determinism analyses were presented. The first of them was efficient (linear) but not very powerful and the second one was more powerful but very expensive (exponential). Here, we develop an intermediate analysis in both aspects, efficiency and power. The improvement in efficiency is obtained by speeding up the fixpoint calculation by means of a widening operator, and the representation of functions through easily comparable... (Update)
Context of citations to this paper: More
.... The plan of the paper is as follows: In Section 2 the language and the analysis [ 2 are brie y summarised (full details in [11, 10]) In Section 3 the new analysis [ 3 W is described. First, some theoretical results that help in the implementation of the...
Cited by: More
A Comparison between three Non-determinism - Analyses In Parallel-Functional (Correct)
Correctness of Non-determinism Analyses in a - Parallel-Functional Language.. (Correct)
A Polynomial-Cost Non-determinism Analysis - Peņa, Segura (2002) (Correct)
Similar documents (at the sentence level):
13.9%: Two Non-Determinism Analyses in Eden - Peņa, Segura (2000) (Correct)
Active bibliography (related documents): More All
0.6: Optimizing Eden by Transformation - Pareja, Peña, Rubio, Segura (2000) (Correct)
0.6: Non-Determinism Analysis in a Parallel-Functional Language - Peņa, Segura (2000) (Correct)
0.3: Sized Types for Typing Eden Skeletons - Peņa, Segura (Correct)
Similar documents based on text: More All
0.2: Bypassing of Channels in Eden - Klusik, Peña, Segura (2000) (Correct)
0.2: Implementation Skeletons in Eden: Low-Effort Parallel.. - Klusik, Loogen, Priebe, .. (2001) (Correct)
0.2: Optimizing Eden by program transformation - Pareja, Peña, Rubio, Segura (Correct)
Related documents from co-citation: More All
3: Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
3: The Theory of Strictness Analysis for Higher Order Functions (context) - Burn, Hankin et al. - 1985
3: Expressing and reasoning about non-deterministic functional programs (context) - Hughes, O'Donnell - 1989
BibTeX entry: (Update)
R. Pe~na and C. Segura. Three Non-determinism Analyses in a Parallel-Functional Language. Technical Report 117-01 (SIP). Universidad Complutense de Madrid, Spain, 2001. (http://dalila.sip.ucm.es/miembros/clara/publications.html). http://citeseer.ist.psu.edu/na01three.html More
@misc{ na01three,
author = "R. na and C. Segura",
title = "Three Non-determinism Analyses in a Parallel-Functional Language",
text = "R. Pe~na and C. Segura. Three Non-determinism Analyses in a Parallel-Functional
Language. Technical Report 117-01 (SIP). Universidad Complutense de Madrid,
Spain, 2001. (http://dalila.sip.ucm.es/miembros/clara/publications.html).",
year = "2001",
url = "citeseer.ist.psu.edu/na01three.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot
181 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
146 The Glasgow Haskell Compiler: A Technical Overview - Jones, Hall et al. - 1993
142 Abstract interpretation frameworks (context) - Cousot, Cousot - 1992
65 A Transformation-based Optimiser for Haskell - Jones, Santos - 1998
41 The design of a pretty-printing library - Hughes - 1995
41 Strictness analysis - A practical approach (context) - Clack, Jones - 1985
32 Let-floating: moving bindings to give faster programs - Jones, Partain et al. - 1996
28 The Theory of Strictness Analysis for Higher Order Functions (context) - Burn, Hankin et al. - 1986
26 Non-Determinism in Functional Languages (context) - Sndergaard, Sestoft - 1992
23 Expressing and Reasoning About Non-Deterministic Functional .. (context) - Hughes, O'Donnell
20 Eden: Language Definition and Operational Semantics - Breitinger, Loogen et al. - 1998
14 Finding fixpoints in abstract interpretation (context) - Jones, Clack - 1987
14 Compilation by Transformation in Non-Strict Functional Langu.. - Santos - 1995
14 Measuring the effectiveness of a simple strictness analyser - Jones, Partain
13 Finding fixed points in finite lattices (context) - Martin, Hankin - 1987
11 Definiteness and Unfoldability (context) - Sndergaard, Sestoft - 1990
10 Approximate fixed points in abstract interpretation (context) - Hankin, Hunt - 1992
8 Abstract Interpretation of Polymorphic Higher-Order Function.. (context) - Baraki - 1993
6 Non-Determinism Analysis in a Parallel-Functional Language - na, Segura
3 Optimizing Eden by Transformation - Pareja, na et al. - 2000
3 and F. Rubio. Replicated Workers in Eden. 2nd International .. (context) - Klusik, na
2 Two Non-determinism Analyses in Eden (context) - na, Segura - 2000
Documents on the same site (http://dalila.sip.ucm.es/miembros/clara/publications.html): More
Two Non-Determinism Analyses in Eden - Peņa, Segura (2000) (Correct)
Non-Determinism Analysis in a Parallel-Functional Language - Peņa, Segura (2000) (Correct)
Optimizing Eden by program transformation - Pareja, Peña, Rubio, Segura (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