Organizing speculative computations in functional systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2011, Issue , 2001, Pages 214-230

  Schroeder, Raimund ^a   Kluge, Werner ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SCHEDULING;

DISTRIBUTED-MEMORY MULTIPROCESSORS; FUNCTIONAL LANGUAGES; FUNCTIONAL SYSTEMS; LARGE PROGRAMS; PROCESSING POWER; SEARCH PROBLEM; SPECULATIVE COMPUTATION; TASK MANAGEMENT;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84944065045     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45361-x_13     Document Type: Conference Paper

References (16)

1. A. Beaumont. Scheduling Strategies and Speculative Work. In Anthony Beaumont and Gopal Gupta, editors, Proceedings of Parallel Execution of Logic Programs (ICLP’91), volume 569 of LNCS, pages 120–131, Berlin, Germany, June 1991. Springer
2. K.J. Berkling Reduction Languages for Reduction Machines Proceedings 2nd Annual International Symposium on Computer Architecture, ACM/IEEE 75CH0916-7C 1975, pages 133–140
3. T. Bulck and A. Held and W.E. Kluge and S. Pantke and C. Rathsack and S.-B. Scholz and R. Schroder. Experience with the Implementation of a Concurrent Graph Reduction System on an nCUBE/2 Platform. In B. Buchberger and j. Volkert, editors, Proceedings of CONPAR 94 - VAPP IV volume 854 of LNCS, Springer 1994, pages 497–508
4. [BK92] H. Bloedorn and W.E. Kluge. Organizing Speculative Computations in the Reduction System π-red∗. In Proc. WorkshopPar allel–Algorithmen und Rechnerstrukturen, pages 138–152. Mitteilungen der GI ISSN 0177–0454, 1992.
5. Iain G. Checkland. Speculative Concurrent Evaluation in a Lazy Functional Language. PhD thesis, University of York, Department of Computer Science, 1994.
6. [GK96] D. Gärtner and W.E. Kluge. π-red+—An Interactive Compiling Graph Reduction System for an Applied λ-Calculus. Journal of Functional Programming, 6(5):723–756, 1996.
7. H.J. Genrich and K. Lautenbach and P.S. Thiagarajan. Elements of General Net Theory In Net Theory and Applications, volume 84 of LNCS, Springer 1980, pages 21–163
8. B. Hausman. Pruning and Scheduling Speculative Work in OR-Parallel Prolog. In E. Odijk, M. Rem, and J.-C. Syre, editors, Proceedings of the Conference on Parallel Architectures and Languages Europe: Vol. 2, volume 366 of LNCS, Springer 1989, pages 133–150
9. S. L. Peyton Jones. The Implementation of Functional Programming Languages. Computer Science. Prentice-Hall, 1987.
10. W.E. Kluge. Cooperating Reduction Machines. IEEE Transactions on Computers, C-32:1002–1012, 1983.
11. W.E. Kluge. A User’s Guide for the Reduction System π–red. Technical Report 9419, Institut fur Informatik und praktische Mathematik, Universitat Kiel, December 1994.
12. J. S. Mattson. An Effective Speculative Evaluation Technique for Parallel Supercombinator Graph Reduction. PhD thesis, Department of Computer Science and Engineering, University of California, San Diego, February 93.
13. Osborne. Speculative Computation in Multilisp. Technical Report DECCRL- 90-1, Digital Equipment Corporation, Cambridge Research Lab, 90.
14. A. Partridge. Speculative Evaluation in Parallel Implementations of Lazy Functional Languages. PhD thesis, Dept. of Computer Science, University of Tasmania, 1991.
15. Ehud Shapiro. The Family of Concurrent Logic Programming Languages. ACM Computing Surveys, 21(3):413–510, September 1989.
16. M. T. Vandevoorde and D. Kapur. Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover. volume 1103 of LNCS, Springer 1996, pages 420–423