|
24
|
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
|
|
42
|
Strictness Analysis in Logical Form
– Thomas P. Jensen
- 1991
|
|
43
|
Parallel Programming using Functional Languages
– Paul Roe
- 1991
|
|
37
|
Querying Nested Collections
– Limsoon Wong
- 1994
|
|
418
|
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
|
|
6
|
Uniform Ideals and Strictness Analysis
– Christine Ernoult, Alcatel Alsthom Recherche, Alan Mycroft
- 1991
|
|
2
|
Fast Strictness Analysis Based on Demand Propagation
– R. Sekar, I. V. Ramakrishnan
- 1995
|
|
7
|
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
|
