Algorithmic Language and Program Development [PDF]

This book provides a new, systematic and unified approach to the essential ideas of computer programming. While the traditional method is to describe various features of individual programming languages, this book emphasizes instead fundamental concepts common to all of them and the interrelations between these notions, thus enhancing the reader's insight into algorithms and their description. The systematic development of the basic concepts leads moreover to methods for developing programs - from the specification of a problem to a machine implementation, and, in particular, from functional to procedural programs.