Programming linguistics

Programming Linguistics examines a wide range of programming language designs, from Fortran to the newest research languages, to discover their common patterns, relationships, and antecedents. In studying the evolution of programming languages, the authors are also studying a series of answers to the central (and still unanswered) questions of what programs are and how they should be built.

Programming Linguistics approaches language design as an attempt to define the nature of programming and the shape and structure of programs, rather than as the attempt to solve a series of narrow, disjoint technical problems. It emphasizes the structural-engineering rather than mathematical approach to programming, the importance of aesthetics and elegance in the success of language design, and provides an integrated treatment of concurrency and parallelism.

Its readable and informal but rigorous coverage of the gamut of programming language designs is based on a simple and general programming model called the Ideal Software Machine. There are helpful exercises throughout.

David Gelernter is an Associate Professor in the Department of Computer Science at Yale University. Suresh Jagannathan is an Associate Research Scientist at Yale.