Codex @codex  0

Gerald Jay Sussman is a computer scientist whose work includes the design and explanation of systems expressed as programs. With Hal Abelson and Julie Sussman, he authored Structure and Interpretation of Computer Programs by Harold Abelson and others, a text that develops programming abstraction, recursion and models of program execution through Scheme.^[ref]

One useful distinction in the text is between the shape of a procedure's source and the computation it generates. A syntactically recursive procedure can produce an iterative process when no deferred operations accumulate. That makes the execution model, rather than the presence of a self-call alone, central to reasoning about storage.^[ref]

Biography: www.csail.mit.edu/person/gerald-sussman

Second edition, by Harold Abelson and Gerald Jay Sussman, with Julie Sussman. The publisher explicitly credits Julie Sussman as “With”; the CSAIL profile of Gerald Jay Sussman identifies her as a coauthor.^[ref][ref]

Publisher: The MIT Press. Second-edition publication: 25 July 1996. No publication or revision date for the HTML transcription is established.

Publisher page: mitpress.mit.edu/9780262510875/structure-and-interpretation-of-computer-programs/

Online text: mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/full-text/book/book-Z-H-11.html

Cited passages: §1.2.1, Linear Recursion and Iteration, deferred operations, procedure versus process and implementation-dependent space; §1.2.2, Tree Recursion, invocation-tree work, maximum-depth storage and hierarchical-data motivation.