Automatic Program Development: A Tribute to Robert Paige [Hardcover] [Jan 08, 2008] Danvy, Olivier; Henglein, Fritz; Mairson, Harry and Pettorossi, Alberto
Language: English
Published by Springer, 2008
- Hardcover
- Used
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers
AbeBooks seller since October 20, 2005
Condition: Used - Very good
US$ 54.76
Quantity: 1 available
Add to basketItem description from seller
Some light marks to the cover. The book is clean and readable throughout, a decent copy.
Seller Inventory # 031515-2a
- Title
- Automatic Program Development: A Tribute to Robert Paige [Hardcover] [Jan 08, 2008] Danvy, Olivier; Henglein, Fritz; Mairson, Harry and Pettorossi, Alberto
- Publisher
- Springer
- Publication year
- 2008
- Condition
- Very Good
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 1402065841
- ISBN 13
- 9781402065842
“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.
"Synopsis" may belong to another edition of this title.
About the Author
Prof. Olivier Danvy is editor in chief of the Higher Order for Symbolic Computation journal, and is also editor for two books in the LNCS series.
This book is written for Dr. Robert (Bob) Paige. Bob Paige, a professor of computer science and a leading researcher in the area of programming languages and transformational programming. Dr. Paige was the author of many research papers, covering related topics in programming languages, compilers, algorithms, and database design. An invited speaker at conferences and university seminars around the world, he also served regularly as a reviewer of research projects for major government agencies. He was a devoted mentor of PhD students who today hold research positions at leading universities and research centers.
"About the title" may belong to another edition of this title.
Hay-on-Wye Booksellers
Hay-on-Wye, HEREF, United Kingdom
AbeBooks seller since October 20, 2005
Shipping rates from United Kingdom to U.S.A.
| Item | 19 to 31 business days | 19 to 30 business days |
|---|---|---|
| First item | US$ 32.99 | US$ 131.97 |
Payment methods
Store description
In the centre of the picturesque Market Town of Hay-on-Wye, UK; we serve the British and International Book Trades 364 days per year. Whilst always caring for individual requirements we buy and sell entire collections and libraries and efficiently dispatch large consignments to your door, whether you are a collector, a shop, a university, or a school. Vist our Online Shop at http://www.hayonwyebooksellers.com
Specialty
Art, Aviation, Naval History, Theology, Birds, Railways, Natural History, Antiquarian, Politics, HistorySeller's business information
Hay-on-Wye Booksellers Limited
13-14 High Town, Hay-on-Wye
Hereford, United Kingdom HR3 5AE
Terms of sale
Mastercard, Visa, VisaDelta, Electron, Switch, Solo, cards accepted. Also cash and Sterling Checks (GBP Cheques). If you wish to pay via Switch/Maestro please ensure you enter in the start date and the issue number in the shopping basket. Alternatively you can enter in the information in the special intrusions field during the shopping basket.
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.