FUNCTIONAL PROGRAMMING WITH SIDE−EFFECTS
Mark B. Josephs
Abstract
In this thesis functional and logic programming languages are combined into a new declarative language. This allows for lazy angle-assignment to logical variables in an otherwise purely functional language. Efficient solutions to various programming problems are developed. It is also shown that these programs with side-effects can be derived by means of transformational programming. On implementations that support parallelism further interesting possibilities arise, which are discussed briefly.
Institution
OUCL
Month
June
Number
PRG55
Pages
119
Year
1986