Book Title: Theoretical introduction to programming
Author(s): Bruce Ian Mills
Publisher: Springer, Year: 2006
Category: ICT & Computer
Theoretical introduction to programming. 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 an easy reference guide. Discussions of principles 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 the 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.