Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2566)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 chapters)
-
Front Matter
-
Program Analysis
-
Program Transformation
About this book
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.
Editors and Affiliations
-
DIKU, University of Copenhagen, Copenhagen, Denmark
Torben Æ. Mogensen
-
Department of Computing and Information Sciences, Kansas State University, Manhattan, USA
David A. Schmidt
-
Department of Computer Science, University of Texas at Dallas, Richardson, USA
I. Hal Sudborough
Bibliographic Information
Book Title: The Essence of Computation
Book Subtitle: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
Editors: Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-36377-7
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2002
Softcover ISBN: 978-3-540-00326-7Published: 13 December 2002
eBook ISBN: 978-3-540-36377-4Published: 01 July 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 478
Topics: Theory of Computation, Logics and Meanings of Programs, Software Engineering, Computation by Abstract Devices