Principled Programming

<p>This book is an introduction to computer programming aimed at the level of a first college course. It is also suitable as a monograph for people beyond the introductory level who are unfamiliar with its methodological content.</p><p><br></p><p>A typical introductory programming textbook begins with the notions of <em>algorithm</em> <em>program</em> <em>computer</em> <em>program execution</em> <em>memory</em> <em>input</em> and <em>output</em>. The rest of the book presents a <em>programming language</em>. Each language feature is defined by its <em>syntax</em> i.e. how to punctuate it and its <em>semantics</em> i.e. what the feature does during program execution. Small programs or program snippets illustrate each feature and its utility. Because modern programming languages are large such books are also large. These books are intimidating in their length but not in their depth.</p><p><br></p><p>Where in such <em>language-oriented</em> books are students explicitly instructed in how to program? Guidance and suggestions may be scattered throughout the text but are usually subordinate to the main chapter structure which is based on language constructs. Illustrative examples are critical but are usually presented as completed programs. The text typically explains how code works but not how it was derived. <em>Programming</em> the dynamic and synthetic activity of creating a program often gets short shrift as if you are supposed to learn how to do it by osmosis while staring at code samples. You can know a programming language thoroughly but still not know how to program. Confronted with a programming problem you may have no idea where to begin. Or worse you may head off in the wrong direction and soon find yourself mired in a morass from which the best path forward may be to back up and start all over again.</p><p><br></p><p>In contrast this book is a <em>methodology-oriented</em> introduction to computer programming. Its subject is programming principles not language features. To keep focus and avoid distraction it is limited to a minimal programming language one so small that it can be said to be universal. Programming skill is measured by the ease with which you can turn a problem statement into a working program not by the number of language features you know.</p><p><br></p><p>The methodology presented is not specific to a particular language; rather it applies to programming in general. The notation used is essentially a small subset of Java but the book is about programming not programming in Java. An appendix provides mappings from this core subset of Java to equivalents in Python C/C++ and JavaScript.</p><p><br></p><p>The approach is distinctive in that it presents content to beginners that is often considered advanced e.g. program <em>state-spaces</em> <em>specifications</em> written in terms of <em>preconditions</em> and <em>postconditions</em> <em>loop invariants</em> <em>data-structure invariants</em> <em>loop variants</em> and programming by <em>stepwise refinement</em>. But the book retains an introductory character --- by avoiding formalism offering intuitive analogies and providing elementary explanations.</p><p>The book's focus is synthesis not analysis. Thus no substantial algorithm or application is presented as a <em>fait accompli</em> for interpretation. Rather the essential content of the book is the stepwise development of solutions rather than the solutions <em>per se.</em></p><p><br></p><p>Language-oriented introductions to programming tend toward being encyclopedic tomes; in contrast this is a comparatively short coherent and digestible book that aspires to tell a compelling story knitted together by interesting nontrivial examples that are woven throughout --- a book that invites cover-to-cover reading.</p>