Automatic Program Development: A Tribute to Robert Paige

0 avg rating
( 0 ratings by Goodreads )
 
9781402065842: Automatic Program Development: A Tribute to Robert Paige
View all copies of this ISBN edition:
 
 

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and 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.

"synopsis" may belong to another edition of this title.

From the Back Cover:

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.

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 this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 159.99
US$ 100.17

Convert currency

Shipping: US$ 3.99
Within U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9789048176748: Automatic Program Development: A Tribute to Robert Paige

Featured Edition

ISBN 10:  9048176743 ISBN 13:  9789048176748
Publisher: Springer, 2010
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Olivier Danvy (Editor), Fritz Henglein (Editor), Harry Mairson (Editor), Alberto Pettorossi (Editor)
Published by Springer (2008)
ISBN 10: 1402065841 ISBN 13: 9781402065842
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2008. Hardcover. Condition: New. 2008. Seller Inventory # DADAX1402065841

More information about this seller | Contact this seller

Buy New
US$ 100.17
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

2.

Published by Springer (2008)
ISBN 10: 1402065841 ISBN 13: 9781402065842
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2008. Condition: New. book. Seller Inventory # M1402065841

More information about this seller | Contact this seller

Buy New
US$ 109.85
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

3.

Danvy, Olivier
Published by Springer (2016)
ISBN 10: 1402065841 ISBN 13: 9781402065842
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9781402065842_lsuk

More information about this seller | Contact this seller

Buy New
US$ 137.82
Convert currency

Add to Basket

Shipping: US$ 5.10
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Published by Springer-Verlag New York Inc., United States (2008)
ISBN 10: 1402065841 ISBN 13: 9781402065842
New Hardcover Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2008. Hardback. Condition: New. 2008 ed.. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and 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. Seller Inventory # LIE9781402065842

More information about this seller | Contact this seller

Buy New
US$ 146.71
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

Olivier Danvy
Published by Springer-Verlag New York Inc. (2008)
ISBN 10: 1402065841 ISBN 13: 9781402065842
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag New York Inc., 2008. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9781402065842

More information about this seller | Contact this seller

Buy New
US$ 143.98
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

6.

Olivier Danvy
Published by Springer (2008)
ISBN 10: 1402065841 ISBN 13: 9781402065842
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2008. HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9781402065842

More information about this seller | Contact this seller

Buy New
US$ 152.66
Convert currency

Add to Basket

Shipping: US$ 11.85
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

OLIVIER DANVY
Published by Springer (2008)
ISBN 10: 1402065841 ISBN 13: 9781402065842
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2008. Hardback. Condition: NEW. 9781402065842 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0291531

More information about this seller | Contact this seller

Buy New
US$ 164.11
Convert currency

Add to Basket

Shipping: US$ 10.51
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Danvy, Olivier [Editor]; Henglein, Fritz [Editor]; Mairson, Harry [Editor]; Pettorossi, Alberto [Editor];
Published by Springer (2008)
ISBN 10: 1402065841 ISBN 13: 9781402065842
New Hardcover Quantity Available: 10
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2008. Hardcover. Condition: New. Seller Inventory # INGM9781402065842

More information about this seller | Contact this seller

Buy New
US$ 172.62
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

9.

Published by Springer-Verlag New York Inc., United States (2008)
ISBN 10: 1402065841 ISBN 13: 9781402065842
New Hardcover Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2008. Hardback. Condition: New. 2008 ed.. Language: English . Brand New Book ***** Print on Demand *****. This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and 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. Seller Inventory # APC9781402065842

More information about this seller | Contact this seller

Buy New
US$ 180.19
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

10.

Published by Springer (2008)
ISBN 10: 1402065841 ISBN 13: 9781402065842
New Hardcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 2008. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9781402065842

More information about this seller | Contact this seller

Buy New
US$ 182.75
Convert currency

Add to Basket

Shipping: US$ 3.21
From Germany to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book