Synthesis of massively pipelined algorithms for list manipulation

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

Volumn 1124, Issue , 1996, Pages 911-920

  Abdallah, Ali E ^a  

^a UNIVERSITY OF READING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING PROCEDURES; FUNCTIONAL PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; PIPELINES; SPECIFICATIONS;

BIRD-MEERTENS FORMALISM; COMMUNICATING PROCESS; FUNCTIONAL FORMS; FUNCTIONAL SPECIFICATION; LINEAR TIME; PIPELINED ALGORITHMS; QUADRATIC FUNCTIONALS; RUNNING-IN;

PIPELINE PROCESSING SYSTEMS;

EID: 84947943215     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0024795     Document Type: Conference Paper

References (11)

1. A. E. Abdallah, Derivation of Parallel Algorithms from Functional Specifications to CSP Processes, in: Bernhard Möller, ed., Mathematics of Program Construction, LNCS 947, (Springer Verlag, 1995) 67-96.
2. A. E. Abdallah, An Algebraic Approach for the Refinement of Functional Specifications to CSP Processes, Submitted to Formal Aspects of Computing, 1996.
3. R. S. Bird, An Introduction to the Theory of Lists, in M. Broy, ed., Logic of Programming and Calculi of Discreet Design, (Springer, Berlin, 1987) 3-42.
4. R. S. Bird, J. Gibbons, and G. Jones, Formal derivation of a pattern matching algorithm, Science of Computer Programming 12 (1989), 93-104.
5. R. S. Bird, and P. Wadler, Introduction to Functional Programming, (Prentice-Hall, 1988).
6. CIP language group, The Munich project CIP, LNCS 1, (Springer-Verlag, 1984).
7. J. Darlington, A. Field, P. Harrison, P. Kelly, D. Sharp and Q. Wu, Parallel Programming Using Skeleton Functions. In Parallel Architectures and Languages Europe, PARLE93. LNCS 947, (Springer Verlag, 1993) 146-160.
8. C. A. R. Hoare, Communicating Sequential Processes. (Prentice-Hall, 1985).
9. R. Paigee, J, Reif, and R. Wachter (eds), Parallel Algorithm Derivation and Program Transformation, (Kluwer, 1993).
10. C. Runciman and D. Wakeling (eds), Applications of Functional Programming, (UCL press, 1995).
11. D. B. Skillicorn, Models for Practical Parallel Computation, International Journal of Parallel Programming 20 (2) (1991) 133-158.