Title of article
Automating Derivation of Incremental Programs
Author/Authors
Zhang، Yuchen نويسنده , , Liu، Yanhong A. نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
-34
From page
35
To page
0
Abstract
This paper describes a work in progress that is a part of a Metcast effort [1], a request-reply and subscription (channel) system for distributing meteorological information.
Keywords
functional programming , fold , unfold , co-induction , anamorphism , traversal , breadth-first , level-order , Program calculation
Journal title
A C M Sigplan (Programming Languages) Sigplan Notices
Serial Year
1999
Journal title
A C M Sigplan (Programming Languages) Sigplan Notices
Record number
16882
Link To Document