A Polynomial-Cost Non-determinism Analysis

@inproceedings{PeaMar2001APN,
  title={A Polynomial-Cost Non-determinism Analysis},
  author={Ricardo Pe{\~n}a-Mar{\'i} and Clara Segura},
  booktitle={IFL},
  year={2001}
}
This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more powerful but very expensive. 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 signatures. Also details about the… CONTINUE READING
4 Citations
19 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 19 references

Three Non-determinism Analyses in a Parallel-Functional Language

  • R. Peña, C. Segura
  • Technical Report 117-01 (SIP). Universidad…
  • 2001
Highly Influential
7 Excerpts

Eden: Language Definition and Operational Semantics. Technical Report, Bericht 96-10

  • S. Breitinger, R. Loogen, Y. Ortega Mallén, R. Peña
  • Revised version 1.998,
  • 1998
Highly Influential
7 Excerpts

Measuring the effectiveness of a simple strictness analyser

  • S. L. Peyton Jones, W. Partain
  • In Glasgow Workshop on Functional Programming
  • 1993
Highly Influential
4 Excerpts

The Glasgow Haskell Compiler : A Technical Overview Measuring the effectiveness of a simple strictness analyser

  • K. Hammond
  • Glasgow Workshop on Functional Programming 1993…
  • 1987
Highly Influential
4 Excerpts

A Comparison between three Non-determinism Analyses in a Parallel-Functional Language

  • R. Peña, C. Segura
  • In Selected papers in Primeras Jornadas sobre…
  • 2001
3 Excerpts

Baraki . Abstract Interpretation of Polymorphic Higher - Order Functions

  • Y. Ortega Mallén
  • Eden : Language Definition and Operational…
  • 1998

The design of a pretty-printing library

  • J. Hughes
  • Advanced Functional Programming,
  • 1995
1 Excerpt

Similar Papers

Loading similar papers…