WorldCat Identities

Sussman, Gerald Jay

Overview
Works: 60 works in 299 publications in 1 language and 4,344 library holdings
Roles: Author, Author of introduction
Classifications: QA76.6, 005.133
Publication Timeline
.
Most widely held works by Gerald Jay Sussman
Structure and interpretation of computer programs by Harold Abelson( Book )

76 editions published between 1983 and 2010 in English and Undetermined and held by 1,810 WorldCat member libraries worldwide

"Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text." "There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published." "A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises." "In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard."--Jacket
Structure and interpretation of classical mechanics by Gerald Jay Sussman( Book )

29 editions published between 1999 and 2016 in English and Undetermined and held by 442 WorldCat member libraries worldwide

We now know that there is much more to classical mechanics than previously suspected. Derivations of the equations of motion, the focus of traditional presentations of mechanics, are just the beginning. This innovative textbook, now in its second edition, concentrates on developing general methods for studying the behavior of classical systems, whether or not they have a symbolic solution. It focuses on the phenomenon of motion and makes extensive use of computer simulation in its explorations of the topic. It weaves recent discoveries in nonlinear dynamics throughout the text, rather than presenting them as an afterthought. Explorations of phenomena such as the transition to chaos, nonlinear resonances, and resonance overlap to help the student develop appropriate analytic tools for understanding. The book uses computation to constrain notation, to capture and formalize methods, and for simulation and symbolic analysis. The requirement that the computer be able to interpret any expression provides the student with strict and immediate feedback about whether an expression is correctly formulated. This second edition has been updated throughout, with revisions that reflect insights gained by the authors from using the text every year at MIT. In addition, because of substantial software improvements, this edition provides algebraic proofs of more generality than those in the previous edition; this improvement permeates the new edition
A computer model of skill acquisition by Gerald Jay Sussman( Book )

10 editions published in 1975 in English and held by 263 WorldCat member libraries worldwide

Functional differential geometry by Gerald Jay Sussman( Book )

9 editions published in 2013 in English and Undetermined and held by 124 WorldCat member libraries worldwide

"Physics is naturally expressed in mathematical language. Students new to the subject must simultaneously learn an idiomatic mathematical language and the content that is expressed in that language. It is as if they were asked to read Les Misérables while struggling with French grammar. This book offers an innovative way to learn the differential geometry needed as a foundation for a deep understanding of general relativity or quantum field theory as taught at the college level.The approach taken by the authors (and used in their classes at MIT for many years) differs from the conventional one in several ways, including an emphasis on the development of the covariant derivative and an avoidance of the use of traditional index notation for tensors in favor of a semantically richer language of vector fields and differential forms. But the biggest single difference is the authors' integration of computer programming into their explanations. By programming a computer to interpret a formula, the student soon learns whether or not a formula is correct. Students are led to improve their program, and as a result improve their understanding."
Instructor's manual to accompany Structure and interpretation of computer programs by Julie Sussman( Book )

8 editions published between 1985 and 1998 in English and held by 43 WorldCat member libraries worldwide

The little Schemer by Daniel P Friedman( Book )

4 editions published between 1996 and 1998 in English and held by 16 WorldCat member libraries worldwide

A computational model of skill acquisition by Gerald Jay Sussman( Book )

8 editions published in 1973 in English and held by 16 WorldCat member libraries worldwide

The report confronts the nature of the process of learning an intellectual skill, the ability to solve problems efficiently in a particular domain of discourse. The investigation is synthetic; a computational performance model, HACKER, is displayed. HACKER is a computer problem-solving system whose performance inproves with practice. HACKER maintains performance knowledge as a library of procedures indexed by descriptions of the problem types for which the procedures are appropriate. When applied to a problem, HACKER tries to use a procedure from this 'Answer Library'. If no procedure is found to be applicable, HACKER writes one using more general knowledge of the problem domain and of programming techniques. This new program may be generalized and added to the Answer Library. (Modified author abstract)
The CONNIVER reference manual by Drew V McDermott( Book )

12 editions published between 1972 and 1974 in English and held by 16 WorldCat member libraries worldwide

The manual is an introduction and reference to the latest version of the Conniver programming language, an artificial intelligence language with general control and data-base structures. (Author)
Micro-Planner reference manual by Gerald Jay Sussman( Book )

8 editions published between 1970 and 1971 in English and Undetermined and held by 14 WorldCat member libraries worldwide

Why conniving is better than planning by Gerald Jay Sussman( Book )

6 editions published in 1972 in English and Undetermined and held by 13 WorldCat member libraries worldwide

Lambda : the ultimate imperative by Guy Lewis Steele( Book )

5 editions published in 1976 in English and held by 12 WorldCat member libraries worldwide

This report demonstrates how to model the following common programming constructs in terms of an applicative order language similar to LISP: Simple Recursion; Iteratiion; Compound Statements and Expressions; GO TO and Assignment; Continuation-Passing; Escape Expressions; Fluid Variables; and Call by Name, Call by Need, and Call by reference. The models require only (possibly self-referent) lambda application, conditionals, and (rarely) assignment. No complex data structures such as stacks are used. The models are transparent, involving only local syntactic transformations. Some of these models, such as those for GO TO and assignment, are already well known, and appear in the work of Landin, Reynolds, and others. The models for escape expressions, fluid variables, and call by need with the side effects are new. This paper is partly tutorial in intent, gathering all the models together for purposes of context. (Author)
The revised report on SCHEME, a dialect of LISP by Guy Lewis Steele( Book )

7 editions published in 1978 in English and Undetermined and held by 12 WorldCat member libraries worldwide

SCHEME is a dialect of LISP. It is an expression-oriented, applicative order, interpreter-based language which allows one to manipulate programs as data. It differs from most current dialects of LISP in that it closes all lambda-expressions in the environment of their definition or declaration, rather than in the execution environment. This has the consequence that variables are normally lexically scoped, as in ALGOL. However, in contrast with ALGOL, SCHEME treats procedures as a first-class data type. They can be the values of variables, the returned values of procedures, and components of data structures. Another difference from LISP is that SCHEME is implemented in such a way that tail-recursions execute without net growth of the interpreter stack. The effect of this is that a procedure call behaves like a GOTO, and thus procedure calls can be used to implement iterations, as in PLASMA. A complete 'user manual' for the SCHEME language is given. Some features described here were not documented in the original report on SCHEME (for instance particular macros). Other features were added, changed, or delected as our understanding of certain language issues evolved. Annotations to the manual describe the motivations for these changes
Localization of failures in radio circuits : a study in causal and teleological reasonings by Allen L Brown( Book )

4 editions published in 1974 in English and held by 10 WorldCat member libraries worldwide

The paper examines some methodologies for diagnosing correctly designed radio circuits which are failing to perform in the intended way because of some faulty component. Particular emphasis is placed on the utility and necessity of good teleological descriptions in successfully executing the task of isolating failing components
Heuristic techniques in computer aided circuit analysis by Gerald Jay Sussman( Book )

3 editions published in 1975 in English and Undetermined and held by 10 WorldCat member libraries worldwide

Whereas other circuit analysis systems rely on classical, formal analysis techniques, EL employs heuristic inspection methods to solve rather complex DC bias circuits. These techniques also give EL the ability to explain any result in terms of its own qualitative reasoning processes. EL's reasoning is based on the concept of a local one-step deduction augmented by various teleological principles and by the concept of a macro-element. Several annotated examples of EL in operation and an explanation of how it works were presented. Also how EL can be extended in several directions, including sinusoidal steady state analysis were discussed. EL is significant not only as a novel approach to circuit analysis but also as an application of Artificial Intelligence techniques to a new and interesting domain
The art of the interpreter, or, The modularity complex (parts zero, one and two) by Guy L Steele( Book )

6 editions published in 1978 in English and held by 9 WorldCat member libraries worldwide

Computer exercises to accompany Structure and interpretation of computer programs by Harold Abelson( Book )

5 editions published in 1988 in English and held by 8 WorldCat member libraries worldwide

Scheme : an interpreter for extended lambda calculus by Gerald Jay Sussman( Book )

3 editions published in 1975 in English and held by 7 WorldCat member libraries worldwide

Teaching of procedures : progress report by Gerald Jay Sussman( Book )

4 editions published in 1972 in English and held by 7 WorldCat member libraries worldwide

Constraints by Guy Lewis Steele( Book )

5 editions published between 1978 and 1981 in English and held by 7 WorldCat member libraries worldwide

Computer aided evolutionary design for digital integrated systems by Gerald Jay Sussman( Book )

4 editions published between 1979 and 1983 in English and Undetermined and held by 6 WorldCat member libraries worldwide

We propose to develop a computer aided design tool which can help an engineer deal with system evolution from the initial phases of design right through the testing and maintenance phases. We imagine a design system which can function as a junior assistant. It provides a total conversational and graphical environment. It remembers the reasons for design choices and can retrieve and do simple deductions with them. Such a system can provide a designer with information relevant to a proposed modification and can help him understand the consequences of simple modifications by pointing out the structures and functions which will be affected by the modifications. The designer's assistant will maintain a vast amount of such annotation on the structure and function of the system being evolved and will be able to retrieve the appropriate annotation and remind the designer about the features which he installed too long ago to remember, or which were installed by other designers who work with him. We will develop the fundamental principles behind such a designer's assistant and we will construct a prototype system which meets many of these desiderata. (Author)
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.47 (from 0.21 for Functional ... to 0.80 for The revise ...)

Structure and interpretation of computer programs
Alternative Names
Gerald Jay Sussman Amerikaans wiskundige

Gerald Jay Sussman amerikansk matematikar, informatikar og ingeniør

Gerald Jay Sussman amerikansk matematiker, datavetare och ingenjör

Gerald Jay Sussman amerikansk matematiker, informatiker og ingeniør

Gerald Jay Sussman informaticien américain

Gerald Jay Sussman US-amerikanischer Informatiker

Sussman, Gerald 1947-

Sussman, Gerald J.

Sussman, Gerald J. 1947-

Джеральд Джей Сассман

جرالد جی ساسمن ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آمریکایی

서스먼, 제럴드 제이

제럴드 제이 서스먼

サスマン, G. J.

サスマン, ジェラルド・ジェイ

ジェラルド・ジェイ・サスマン

傑拉德·傑伊·薩斯曼

Languages
English (206)

Covers
Structure and interpretation of classical mechanicsInstructor's manual to accompany Structure and interpretation of computer programsThe little Schemer