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.
2 Ebooks tarafından Fritz Henglein
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
İngilizce
€96.29
Fritz Henglein & Sharon Shoham: Verification, Model Checking, and Abstract Interpretation
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 202 …
EPUB
İngilizce
DRM
€102.21