|
512
|
The Implementation of Functional Programming Languages
– Jones
- 1987
|
|
441
|
Mathematica: A System for Doing Mathematics by Computer
– Wolfram
- 1991
|
|
382
|
Can programming be liberated from the von Neumann style? a functional style and its algebra of programs
– Backus
- 1978
|
|
374
|
A loop transformation theory and an algorithm to maximize parallelism
– Wolf, Lam
- 1991
|
|
184
|
Dataflow analysis of array and scalar references
– Feautrier
- 1991
|
|
174
|
Scanning Polyhedra with DO Loops
– Ancourt, Irigoin
- 1991
|
|
150
|
Some efficient solutions to the affine scheduling problem
– Feautrier
- 1992
|
|
137
|
Data-parallel programming on MIMD computers
– Hatcher, Quinn
- 1991
|
|
114
|
Efficient Compilation of Lazy Evaluation
– Johnsson
- 1984
|
|
93
|
Array data-flow analysis and its use in array privatization
– Maydan, Amarasinghe, et al.
- 1993
|
|
89
|
A Library for Doing Polyhedral Operations
– Wilde
- 1993
|
|
82
|
A Compiler for Lazy ML
– Augustsson
- 1984
|
|
70
|
Tabulation Techniques for Recursive Programs
– Bird
- 1980
|
|
61
|
The mapping of linear recurrence equations on regular arrays
– Quinton, Dongen
- 1989
|
|
60
|
pen)-ultimate tiling
– Boulet, Darte, et al.
- 1994
|
|
56
|
Detecting global variables in denotational specifications
– Schmidt
- 1985
|
|
45
|
Crystal: theory and pragmatics of generating efficient parallel code
– Chen, Choo, et al.
- 1991
|
|
36
|
The Alpha language and its use for the design of systolic arrays
– Verge, Mauras, et al.
- 1991
|
|
34
|
Recursion Equations as a Programming Language
– Turner
- 1982
|
|
31
|
The aggregate update problem in functional programming systems
– Hudak, Bloss
- 1985
|
|
25
|
Applicative caching
– Keller, Sleep
- 1986
|
|
24
|
un langage 'equationnel pour la conception et la programmation d'architectures parall`eles synchrones
– Alpha
- 1989
|
|
21
|
Program and Data Transformations for Efficient Execution on Distributed Memory Architectures
– O'Boyle
- 1992
|
|
20
|
Computability of Recurrence Equations
– Saouter, Quinton
- 1993
|
|
18
|
A graph-theoretic approach to the alignment problem
– Darte, Robert
- 1993
|
|
18
|
Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates
– Sastry, Clinger, et al.
- 1993
|
|
15
|
Parallel functional programming: an annotated bibliography
– Schreiner
- 1993
|
|
14
|
A New Array Operation
– Wadler
- 1986
|
|
12
|
Recursive programming through table look-up
– Friedman, Wise, et al.
- 1976
|
|
12
|
SISAL---streams and iteration in a single--assignment language. Language Reference Manual, Version 1.2
– McGraw, Skedzielewski, et al.
- 1985
|
|
12
|
On parallel program generation for massively parallel architectures
– Werth, Feautrier
- 1991
|
|
11
|
Reduction operators in alpha
– Verge
- 1992
|
|
10
|
La synth`ese de nids de boucles avec la biblioth`eque poly'edrique
– Verge, Dongen, et al.
- 1994
|
|
8
|
Allocating memory arrays for polyhedra
– Wilde, Rajopadhye
- 1993
|
|
6
|
Un environnement de tranformations de programmes pour la synth`ese d'architectures r'eguli`eres
– Verge
- 1992
|
|
6
|
Optimization and Verification of Systolic Architectures
– Synthesis
- 1986
|
|
5
|
Yannick Saouter. Scheduling affine parameterized recurrences by means of variable dependent timing functions
– Mauras, Quinton, et al.
- 1990
|
|
5
|
Analysis of affine communication specifications
– Rajopadhye
- 1993
|
|
3
|
Transformational Parallel-Program Derivations
– Yang
- 1993
|
|
