Picture 1 of 1
Automatic Program Development: A Tribute to Robert Paige by Olivier Danvy (Engli
Condition:
3 available
Postage:
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Tue, 25 Jun and Sat, 6 Jul to 43230
Returns:
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller information
- 98.3% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:395163453753
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- ISBN-13
- 9781402065842
- Book Title
- Automatic Program Development
- ISBN
- 9781402065842
- Subject Area
- Computers, Mathematics
- Publication Name
- Automatic Program Development : a Tribute to Robert Paige
- Item Length
- 9.3 in
- Publisher
- Springer Netherlands
- Subject
- Programming / General, Software Development & Engineering / General, Programming / Algorithms, Optimization, Compilers
- Publication Year
- 2008
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Width
- 6.1 in
- Item Weight
- 24.4 Oz
- Number of Pages
- Xiv, 272 Pages
About this product
Product Information
"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.
Product Identifiers
Publisher
Springer Netherlands
ISBN-10
1402065841
ISBN-13
9781402065842
eBay Product ID (ePID)
63448148
Product Key Features
Publication Name
Automatic Program Development : a Tribute to Robert Paige
Format
Hardcover
Language
English
Subject
Programming / General, Software Development & Engineering / General, Programming / Algorithms, Optimization, Compilers
Publication Year
2008
Type
Textbook
Subject Area
Computers, Mathematics
Number of Pages
Xiv, 272 Pages
Dimensions
Item Length
9.3 in
Item Width
6.1 in
Item Weight
24.4 Oz
Additional Product Features
Intended Audience
Scholarly & Professional
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Reviews
From the reviews:"The book starts with an informative preface, with appropriate references signed by all four editors. … serve as a model for young scientists who are interested in doing quality research in the area. … Contributions cover a broad area, with an automatic program development focus. It will be a valuable addition to the interested specialist's library." (M. M. Tanik, ACM Computing Reviews, December, 2008), From the reviews: "The book starts with an informative preface, with appropriate references signed by all four editors. ... serve as a model for young scientists who are interested in doing quality research in the area. ... Contributions cover a broad area, with an automatic program development focus. It will be a valuable addition to the interested specialist's library." (M. M. Tanik, ACM Computing Reviews, December, 2008)
Table of Content
Robert Paige's Research: A Retrospective and A Proposal.- Research Retrospective on Transformational Development of Programs.- A National Science Foundation Proposal.- Robert Paige: Brother, Friend, Colleague.- A Song for My Brother.- Robert Paige: Researcher and Teacher.- An Appreciation of Bob Paige.- Bob Paige and the IFIP Working Group 2.1.- Remembrances of Bob Paige.- Contributed Papers.- Transformational Derivation of an Improved Alias Analysis Algorithm.- Dynamic Programming via Static Incrementalization.- Automatic Program Generation from Formal Specifications using APTS.- Universal Regular Path Queries.- Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.- Computational Divided Differencing and Divided-Difference Arithmetics.- Least Reflexive Points of Relations.- Relativizations for the Logic-Automata Connection.- Efficient Type Matching.- Aspects as Invariants.- Program Transformations: Some Lessons from the 1980s.
Copyright Date
2008
Dewey Decimal
005.1
Dewey Edition
22
Illustrated
Yes
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:395163453753
Postage and handling
Item location:
Fairfield, Ohio, United States
Post to:
Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mayotte, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Spain, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, United Kingdom, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Sahara, Worldwide, Yemen, Zambia, Zimbabwe
Excludes:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Panama, Papua New Guinea, Reunion, Russian Federation, US Protectorates, Ukraine, Venezuela, Western Samoa
| Postage and handling | Each additional item | To | Service | Delivery*See Delivery notes |
|---|---|---|---|---|
| Free postage | Free | United States | Economy Shipping | Estimated between Tue, 25 Jun and Sat, 6 Jul to 43230 |
| Handling time |
|---|
| Will usually post within 10 business days of receiving cleared payment. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales Tax for an item #395163453753
Sales Tax for an item #395163453753
Seller collects sales tax for items shipped to the following states:
| State | Sales Tax Rate |
|---|
Return policy
| After receiving the item, contact seller within | Refund will be given as |
|---|---|
| 30 days after the buyer receives it | Money Back |
The buyer is responsible for return postage costs.
Seller feedback (1,024,491)
w***m (1416)- Feedback left by buyer.
Past month
Verified purchase
Item as described and prompt shipping
t***i- Feedback left by buyer.
Past month
Verified purchase
Purchase arrived quickly, as described, and with no problems.
7***o (246)- Feedback left by buyer.
Past month
Verified purchase
fast delivery