OPTIMIZATION OF FUNCTIONAL PROGRAMS
MARKS, SCOTT CHESSER
Doctor of Philosophy
The functional programming style describes computations concisely. The applicative nature of functional programs allows careful analysis of these calculations for optimization. Efficient execution can be achieved by replacing recursive definitions with iterative implementations. The simplified form of functional programs allows effective use of denotational semantics techniques. The same analysis shows a method for implementation as parallel computations using message sending protocols. Networks of distributed processors can be designed in a straightforward way from these results.