The Essence of Computation
Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
Buch in deiner Nähe kaufen
Beschreibung
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.
Includes supplementary material: sn.pub/extras
Autor*in
Torben Mogensen
Themen in »The Essence of Computation«
Automata Theory Computational Complexity Flow Analysis Program Analysis Program Semantics Program Transformation Programming Calculi Programming Logic Programming Theory Static Analysis algorithms automata calculus complexity lambda calculus