Automatic Program Development PDF ePub eBook

Books Info:

Automatic Program Development free pdf 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.

About Olivier Danvy

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.

Details Book

Author : Olivier Danvy
Publisher : Springer
Data Published : 19 October 2010
ISBN : 9048176743
EAN : 9789048176748
Format Book : PDF, Epub, DOCx, TXT
Number of Pages : 272 pages
Age + : 15 years
Language : English
Rating :

Reviews Automatic Program Development



17 Comments Add a comment




Related eBooks Download


  • ZB 2003, Formal Specification and Development in Z and B free pdfZB 2003, Formal Specification and Development in Z and B

    This book constitutes the refereed proceedings of the Third International Conference of Z and B Users. ZB 2003. held in Turku. Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book..


  • Discovery Science free pdfDiscovery Science

    This book constitutes the refereed proceedings of the 6th International Conference on Discovery Science. DS 2003. held in Sapporo. Japan in October 2003.The 18 revised full papers and 29 revised short papers presented together with 3 invited papers and abstracts of 2 invited talks were carefully reviewed and selected from 80 submissions..


  • Research and Advanced Technology for Digital Libraries free pdfResearch and Advanced Technology for Digital Libraries

    This book constitutes the refereed proceedings of the 10th European Conference on Research and Advanced Technology for Digital Libraries. ECDL 2006. The book presents 36 revised full papers together with the extended abstracts of 18 demo papers and 15 revised poster papers..


  • Research and Advanced Technology for Digital Libraries free pdfResearch and Advanced Technology for Digital Libraries

    This book constitutes the refereed proceedings of the 10th European Conference on Research and Advanced Technology for Digital Libraries. ECDL 2006. The book presents 36 revised full papers together with the extended abstracts of 18 demo papers and 15 revised poster papers..


  • Yeats's Yeats's "Vision" Papers

    Volume 4 of Yeats's 'Vision' Papers presents four documents that represent Yeats's earliest attempts to craft A Vision from the Automatic Script he and his wife George generated beginning in 1917..


  • Automatic Program Development free pdfAutomatic Program Development

    Download ePub Books Online. 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 2