Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Automatic Program Development: A Tribute to Robert Paige

Buy
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.

(HTML tags aren't allowed.)

Complex Anorectal Disorders
Complex Anorectal Disorders
A large cross-section of the world’s great and good in colorectal surgery have been enticed, inveigled, I suspect at times brow-beaten, to produce this tour de force. The editors, themselves famous for their own extensive contributions in this area, must be congratulated for their fine achievements.

Every
...
Linux Enterprise Cluster: Build a Highly Available Cluster with Commodity Hardware and Free Software
Linux Enterprise Cluster: Build a Highly Available Cluster with Commodity Hardware and Free Software

The Linux Enterprise Cluster explains how to take a number of inexpensive computers with limited resources, place them on a normal computer network, and install free software so that the computers act together like one powerful server. This makes it possible to build a very inexpensive and reliable business system for a small business...

Word-Formation in English (Cambridge Textbooks in Linguistics)
Word-Formation in English (Cambridge Textbooks in Linguistics)
Providing an accessible introduction to the study of word-formation, this text focuses specifically on English. Assuming no prior linguistic knowledge, Ingo Plag explains the fundamentals of word-formation, demonstrating how morphemes--the elements of a word's internal structure--can function to relate words to other words, and to create new words....

Mechanics: From Newton's Laws to Deterministic Chaos
Mechanics: From Newton's Laws to Deterministic Chaos

This book covers all topics in mechanics from elementary Newtonian mechanics, the principles of canonical mechanics and rigid body mechanics to relativistic mechanics and nonlinear dynamics. It was among the first textbooks to include dynamical systems and deterministic chaos in due detail. As compared to the previous editions the present...

Oxford Handbook of Clinical Specialties (Oxford Handbooks)
Oxford Handbook of Clinical Specialties (Oxford Handbooks)

The seventh edition of this highly acclaimed Oxford Handbook covers all the major specialties not covered in its companion handbook, the Oxford Handbook of Clinical Medicine. It continues to provide all the ideas and facts essential to those who will or who are already caring for patients whose needs may or may not fit within the traditional...

Where Winners Live: Sell More, Earn More, Achieve More Through Personal Accountability
Where Winners Live: Sell More, Earn More, Achieve More Through Personal Accountability

Be accountable and achieve success

Personal accountability is the secret weapon of every successful sales professional. It is the secret weapon of Where Winners Live co-author Dave Porter, who became the owner and CEO of Baystate Financial Services at age 35 and grew it into a $100 million-a-year business over the next 15...

©2019 LearnIT (support@pdfchm.net) - Privacy Policy