This textbook offers a deep understanding of the essential concepts of programming languages. The approach is analytic and hands-on. The text uses interpreters, written in Scheme, to express the semantics of many essential language elements in a way that is both clear and directly executable. It also examines some important program analyses. Extensive exercises explore many design and implementation alternatives.
Hardcover
Out of PrintISBN: 9780262062176408 pp. | 8 in x 9 in
Daniel P. Friedman is Professor of Computer Science in the School of Informatics, Computing, and Engineering at Indiana University and is the author of many books published by the MIT Press, including The Little Schemer and The Seasoned Schemer (with Matthias Felleisen); The Little Prover (with Carl Eastlund); and The Reasoned Schemer (with William E. Byrd, Oleg Kiselyov, and Jason Hemann).
Christopher T. Haynes
Christopher T. Haynes is Associate Professor of Computer Science at Indiana University.
Mitchell Wand
Mitchell Wand is Professor of Computer Science at Northeastern University.