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 Ph D students who today hold research positions at leading universities and research centers.
3 电子书 Olivier Danvy
Olivier Danvy & Fritz Henglein: Automatic Program Development
“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 …
PDF
英语
€96.29
Gul Agha & Olivier Danvy: Formal Modeling: Actors; Open Systems, Biological Systems
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in …
PDF
英语
DRM
€71.39
