Automatic Program Development

Olivier Danvy

ISBN 10: 9048176743 / ISBN 13: 9789048176748

Published by Springer Netherlands Okt 2010, 2010

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 288 pp. Englisch.

Seller Inventory # 9789048176748

Bibliographic Details

• Title: Automatic Program Development
• Publisher: Springer Netherlands Okt 2010
• Publication Date: 2010
• Language: English
• ISBN 10: 9048176743
• ISBN 13: 9789048176748
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 16D millimeters 235 millimeters width by 155 millimeters height by 16 millimeters depth
• Weight: 441 grams

About this title

Synopsis

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.

All of the papers are related to the research interests of Dr Paige, who died in 1999, and, in particular, to the transformational development of programs and their algorithmic derivation from formal specifications.

His colleagues, who include Olivier Danvy of the University of Aarhus in Denmark, and Alberto Pettorossi of the University of Rome ‘Tor Vergata’ in Italy, believe the book provides a renewed stimulus for continuing and deepening Dr Paige’s research vision.

Prof. Olivier Danvy is editor in chief of the Higher Order for Symbolic Computation journal.

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.