A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions (1991)

Cached

Download Links

by Samson Abramsky , Thomas P. Jensen
Venue:In Proc. ACM Symposium on Principles of Programming Languages
Citations:17 - 1 self

Active Bibliography

25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
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
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
1 A General Framework for Analyzing Shared-Memory Parallel Programs – Jyh-Herng Chow, Williams Ludwell Harrison, III, Harrison Iii - 1992
4 Efficient Computation of Fixpoints that Arise in Complex Program Analysis – Li-ling Chen, Williams Ludwell Harrison III, Williams Ludwell, Harrison Iii, Kwangkeun Yi
44 Strictness Analysis in Logical Form – Thomas P. Jensen - 1991
48 Parallel Programming using Functional Languages – Paul Roe, M. Eng (york - 1991
39 Querying Nested Collections – Limsoon Wong - 1994
456 Comprehending Monads – Philip Wadler - 1992
Strictness Analysis in 4D – Kei Davis Dept, Kei Davis - 1990
4 Partitioning Non-strict Languages for Multi-threaded Code Generation – Satyan R. Coorg, Frederic R. Morgenthaler - 1994
Z1: A Data Flow Analyzer Generator – Kwangkeun Yi, Luddy Harrison
2 Analyse Statique De Programmes : Fondements Et Applications – Thomas Jensen, M. Jean-pierre, Bantre Prsident, Mm Nicolas, Neil Jones, Giorgio Levi, Mm Charles, Consel Examinateurs, Daniel Le Mtayer, T. Jensen - 1999
2 Fast Strictness Analysis Based on Demand Propagation – R. Sekar, I. V. Ramakrishnan - 1995
6 Uniform Ideals and Strictness Analysis – Christine Ernoult, Alcatel Alsthom Recherche, Alan Mycroft - 1991
8 Polymorphic Strictness Analysis Using Frontiers – Julian Seward - 1992
2 Optimising Compilation - Part II: lazy functional languages – Alan Mycroft, Arthur C. Norman - 1992
PERs Generalise Projections for Strictness Analysis – Exte Nd Ed, Sebastian Hunt - 1990