|
Showing 1 - 2 of
2 matches in All Departments
By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself.The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation.
As the complexity of software increases, researchers and
practicioners continue to seek better techniques for engineering
the construction of evolution of software. Partial evaluation is an
attractive technology for modern software construction since it
provides automatic tools for software specialization and is based
on rigorous semantic foundations. This book is based on a school
held at DIKU Copenhagen, Denmark in summer 1998 during which
leading researchers summarized the state of the art in partial
evaluation. The lectures presented survey the foundations of
partial evaluation in a clear and rigorous manner and practically
introduce several existing partial evaluators with numerous
examples. The second part of the book is devoted to more
sophisticated theoretical aspects, advances systems and
applications, and highlights open problems and challenges. The book
is ideally suited for advanced courses and for self study.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.