Executing Functional Programs on a Virtual Tree of Processors

Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, FPCA 1981

Volumn , Issue , 1981, Pages 187-194

  Burton, F Warren ^a   Sleep, M Ronan ^a  

^a UNIVERSITY OF EAST ANGLIA   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); FORESTRY;

% REDUCTIONS; COMPUTATIONAL MODELLING; EXPONENTIAL GROWTH; FUNCTIONAL PROGRAMS; LAMBDA-CALCULI; MATCHINGS; RUNTIMES; SIMPLE MODELING; SINGLE SOURCE; VIRTUAL TREE;

CALCULATIONS;

EID: 85035595949     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800223.806778     Document Type: Conference Paper

References (31)

1. An Asynchronous Programming Language and Computing Machine. Arvind, Gostelow K.P. and Plouffe W. UC (Irvine) report, Dept. of Computer Science, 1978
2. Can Programming Be Liberated from the Von Neumann Style? (1977 ACM Turing Award Lecture). John Backus. CACM, V21, No. 8, Aug. 1978, pp. 613-641.
3. The Transputer, in 'The Microprocessor and its Applications', ed. Aspinall D. Barron I. Cambridge University Press, 1978
4. Recursive Programming Techniques. Burge W.H. Addison-Wesley, 1975.
5. HOPE: An Experimental Applicative Language. Burstall R.M., MacQueen D.B. and Sannella D.T. University of Edinburgh, Dept. of Computer Science, Internal Report CSR-62-50..
6. A Network for the Rapid Distribution of Work. Burton F.W. and-Sleep ~.R. Report CS/8O/OI8/E. University of East Anglia, Norwich
7. Communication in a Distributed Implementation of an Applicative Language. Burton F.W. and Sleep M.R. Proc. 6th ACM European regional conference on Systems Architecture, London, April 1981.
8. The Varieties of Data Flow Computers. Dennis J.B. Proc. Ist International Conference on Distributed Computing, Huntsville, Alabama 1979
9. The Design of Special Purpose VLSI Chips. Foster M.J. and Rung H.T. IEEE COMPUTER, Jan. 1980, pp. 26-40.
10. Eager Beaver Evaluation on the R-ary N-cube. Grit D.H. and Page R.L. Dept. of Computer Science, Colorado State University, March 1981.
11. A Data Driven System for High Speed Parallel Computing. Gurd J. and Watson I. Computer Design V. 19, nos. 6, 7 (2 parts) Jun/Jul. 1980.
12. A Lazy Evaluator. Henderson P. and Morris J.M. 3rd Symposium on Principles of Programming Languages, Atlanta 1976.
13. A Loosely-Coupled Applicative Multi-Processing System. Keller R.M., Lindstrom G. and Patil S. NCC 1979, AFIPS V. 48, pp. 613-622.
14. FGL Programmer's Manual. Keller R.M., Jayaraman B., Rose D. and Lindstrom G. AMPS Technical Memo no. I, Dept. of Computer Science, University of Utah, June 1980.
15. A Network of Microprocessors to Execute Reduction Languages, Parts 1 and 2. Mag6 Gyula A. Int. J. of Computer and Systems Sciences, VS, Nos. 5 and 6, Oct/Dec. 1979, pp. 349-385, (no. 5) and pp. 435-471 (no. 6).
16. Copying Operands Versus Copying Results. Mag G.A. Proc. MIT Conference on Functional Programming Languages and Computer Architectures, Portsmouth, New Hampshire, Oct. 1981
17. A Calculus of Communicating Systems. Milner R. Springer Verlag Lecture Notes in Computer Science.
18. Notes on Shuffle/Exchange-type Switching Networks. Parker D.S. IEEE Trans. on Computers, vol. C-29, pp. 213-222..
19. The Indirect Binary n-cube Hicroprocessor Array. Pease ~.C. IEEE Trans. on Computers, vol. C-26, pp. 458-473..
20. The Cube Connected Cycles: A Versatile Network for Parallel Computation. Preparata F.P. and Vuillemln J. Proc. 20th IEEE Conference on the Foundations of Computer Science, Puerto Rico, 1979.
21. A Survey of Interconnection Methods for Reconfigurable Parallel Processing Systems. Siegel J.H., McHillen R.J. and Mueller P.T.Jr. Nat. Computer Conf., 1979, pp. 529-542.
22. Applicative Languages, Dataflow and Pure Combinatory Code. Sleep M.R. IEEE 20th Computer Conference Digest, Feb. 1980
23. Towards a Zero Assignment Parallel Processor. Sleep M.R. and Burton F.W. Proc. 2nd Int. Conf. on Distributed Computing, Paris, April 1981.
24. Denotational Semantics: The Scott-StracheyApproach to Programming Language Theory. Stoy J.E. MIT Press, Cambridge, Mass., 1977.
25. Concurrent Computing System Design at Newcastle. Treleaven P.C., Farrel E.P., Ghani N. and Jones S. Proc. ONERA Workshop on Data Driven Languages and ~achines, Toulouse, Feb. 1979.
26. SASL Language Manual. Turner D.A. Computing Lab., University of Kent, 1979.
27. A New Implementation Technique for Applicative Languages. Turner D.A. Software, Practice and Experience, V. 9, pp. 31-49 (1979).
28. Programming Languages: Current and Future Developments. Turner D.A. Info-tech State of the Art Report, London, June 1980.
29. The Semantic Elegance of Applicative Languages. Turner D.A. Proc. MIT Conference on Functional Programming Languages and Computer Architectures, Portsmouth, New Hampshire, Oct. 1981.
30. Semantics and Pragmatlcs of the Lambda Calculus. Wadsworth C.P. Ph.D. Thesis, Oxford, U.K. September 1971.
31. Communication Structures for Large Networks of Microcomputers. Wittie Larry D. IEEE Trans. on Computers, Vol. C30, no. 4, April 1981, pp. 264-273.