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.
......(更多)
......(更多)
......(更多)
When defining a procedure that operates on inductively defined data, the structure of the program should be patterned after the structure of the data.
......(更多)