Authors:
- Combines theory with practice without breaking either
- Compact presentation of each concept so that the reader can absorb the idea separately, without having to wade through other material – the other material is there if required
- Broad perspective of computer science and programming
- Distinct in combining pure theory with pragmatic details
- Includes supplementary material: sn.pub/extras
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 (9 chapters)
-
Front Matter
-
Back Matter
About this book
Including easily digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML.
This book is intended to be both a how-to handbook and easy reference guide. Discussions of principle, worked examples and exercises are presented. All concepts outside introductory programming are explained with clear demarcation and dependencies so the experienced programmer can quickly locate material. Readable in a linear manner, with short mono-thematic to encourage dipping and reference. Also included are sections on open problems in software theory and practice.
While little other than a novice programmer's knowledge is explicitly assumed, a certain conceptual maturity, either through commercial programming or academic training is required – each language is introduced and explained briefly as needed.
Reviews
From the reviews:
"A good programmer has to know more than the constructs of a given programming language: eg., computational models, formal technologies, limitations on models, technologies and computers, properties of programming languages (and their compilers), interaction between programs, and even philosophical aspects. … the author gives a good introduction to the mentioned fields in the form of chapters partitioned into notions (and some exercises) … . So, the book is a good survey for specialists … ." (G. Riedewald, Zentralblatt MATH, Vol. 1097 (23), 2006)
Bibliographic Information
Book Title: Theoretical Introduction to Programming
Authors: Bruce Mills
DOI: https://doi.org/10.1007/1-84628-263-2
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London 2006
Softcover ISBN: 978-1-84628-021-4Published: 25 October 2005
eBook ISBN: 978-1-84628-263-8Published: 19 December 2005
Edition Number: 1
Number of Pages: XI, 358
Number of Illustrations: 29 b/w illustrations
Topics: Software Engineering/Programming and Operating Systems, Programming Techniques, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Theory of Computation