OPTIMIZATION OF FUNCTIONAL PROGRAMS

[摘要] 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.

[发布机构] Rice University