Three Non-determinism Analyses in a Parallel-Functional Language (2001)

Cached

Download Links

by Ricardo Peña , Clara Segura
Citations:5 - 4 self

Active Bibliography

1 A Comparison between three Non-determinism Analyses in Parallel-Functional Language – Ricardo Peña, Clara Segura - 2001
2 Two Non-Determinism Analyses in Eden – Ricardo Peña, Clara Segura - 2000
6 Non-Determinism Analysis in a Parallel-Functional Language – Ricardo Peña, Clara Segura - 2000
A Polynomial-Cost Non-determinism Analysis – Ricardo Peña, Clara Segura - 2002
1 Realising nondeterministic I/O in the Glasgow Haskell Compiler – David Sabel - 2003
Optimizing Eden by program transformation – Cristóbal Pareja, Ricardo Peña, Fernando Rubio, O Rubio, Clara Segura
47 Secrets of the Glasgow Haskell Compiler inliner – Simon Peyton Jones, Simon Marlow - 1999
Correctness of Non-determinism Analyses in a Parallel-Functional Language – Clara Segura, Ricardo Peña - 2003
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
9 A Calculational Approach to Control-flow Analysis by Abstract Interpretation – Jan Midtgaard, Thomas Jensen
26 Deriving algorithms from type inference systems: Application to strictness analysis – Chris Hankin, Daniel Le Métayer - 1994
25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
Strictness Analysis - Another Method – Michael Winikoff, Supervisor Dr. Harald Sndergaard, Langsam Misterioso - 1993
In submission Higher-Order Cardinality Analysis Extended version – Ilya Sergey, Dimitrios Vytiniotis, Simon Peyton Jones
In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice Extended version – unknown authors
In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice – unknown authors
In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice Extended version – Ilya Sergey, Dimitrios Vytiniotis, Simon Peyton Jones
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003