Title of article :
Automating Derivation of Incremental Programs
Author/Authors :
Zhang، Yuchen نويسنده , , Liu، Yanhong A. نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
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 :
Program calculation , unfold , functional programming , anamorphism , co-induction , breadth-first , level-order , traversal , fold
Journal title :
A C M Sigplan (Programming Languages) Sigplan Notices
Journal title :
A C M Sigplan (Programming Languages) Sigplan Notices
