株式会社極東書店トップ ＞ 商品一覧 ＞ Automatic Program Development: A Tribute to Robert Paige. 2008 ed.
商品詳細
Automatic Program Development: A Tribute to Robert Paige. 2008 ed.
・ISBN 978-1-4020-6584-2 hard EUR 99.99
￥26,726.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Danvy, Olivier / Henglein, Fritz / Mairson, Harry / Pettorossi, Alberto (eds.), |
|---|---|
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2008 |
| ページ数 | 272 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-36214＞ |
解説
"Automatic Program Development" is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his honor in the Higher-Order and Symbolic Computation Journal in the years 2003 and 2005.
Among them there are two papers by Bob: (i) a retrospective view of his research lines, and (ii) a proposal for future studies in the area of the automatic program derivation. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member. All papers are related to some of the research interests of Bob and, in particular, to the transformational development of programs and their algorithmic derivation from formal specifications. "Automatic Program Development" offers a renewed stimulus for continuing and deepening Bob's research visions.
A familiar touch is given to the book by some pictures kindly provided to us by his wife Nieba, the personal recollections of his brother Gary and some of his colleagues and friends.