Lazy evaluation of FP programs: A data-flow approach

Conference · Sat Dec 31 00:00:00 EST 1988

OSTI ID:10187840

Wei, Y H ^[1]; Gaudiot, J L ^[2]

---

1. International Business Machines Corp., Yorktown Heights, NY (United States). Thomas J. Watson Research Center
2. University of Southern California, Los Angeles, CA (United States). Computer Research Inst.

This paper presents a lazy evaluation system for the list-based functional language, Backus` FP in data-driven environment. A superset language of FP, called DFP (Demand-driven FP), is introduced. FP eager programs are transformed into DFP lazy programs which contain the notions of demands. The data-driven execution of DFP programs has the same effects of lazy evaluation. DFP lazy programs have the property of always evaluating a sufficient and necessary result. The infinite sequence generator is used to demonstrate the eager-lazy program transformation and the execution of the lazy programs.

• Research Organization: University of Southern California, Los Angeles, CA (United States). Computer Research Inst.
• Sponsoring Organization: USDOE, Washington, DC (United States)
• DOE Contract Number: FG03-87ER25043
• OSTI ID: 10187840
• Report Number(s): CONF-881188-2; ON: DE94000311
• Resource Relation: Conference: 5. Generation Computer Systems international conference,Tokyo (Japan),28 Nov - 2 Dec 1988; Other Information: PBD: [1988]
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
DATA-FLOW PROCESSING
EVALUATION
FUNCTIONALS
PROGRAMMING LANGUAGES
990200
MATHEMATICS AND COMPUTERS