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.Models: to make the possible selections simpler for the user, and to standardize the actual construction of the ... Cars also usually come in various models (Ford Focus, Ford Mustang) and submodels (Sedan, Sedan 3-door, station wagon). ... 2.3 What the Analysis Does Not Cover An entity can have a number of features.
|Title||:||The Essence of Computation|
|Author||:||Torben Mogensen, David Schmidt, I. Hal Sudborough|
|Publisher||:||Springer - 2003-07-01|