The Art of the Propagator (2009)
Radul, Alexey, Sussman, Gerald Jay
We develop a programming model built on the idea that the basic computational elements are autonomous machines interconnected by shared cells through which they communicate. Each machine continuously...
The Art of the Propagator (2009)
Sussman, Gerald Jay, Radul, Alexey
We develop a programming model built on the idea that the basic computational elements are autonomous machines interconnected by shared cells through which they communicate. Each machine continuously...
techniques, and tools. Addison-Wesley, 1986. (2008)
Practices Benjamin, Ass Harold Abelson, Gerald Jay Sussman, Julie Sussman Structure, ...
in Functional Programming, volume 2. Intellect, 2000.
Harold Abelson, Gerald Jay Sussman, Julie Sussman, North America
[Go to first, previous, next page; contents; index] [Go to first, previous, next page; contents; index] [Go to first, previous, next page; contents; index] This book is one of a series of texts...
Data-Purpose Algebra: Modeling Data Usage Policies (2008)
Chris Hanson, Tim Berners-lee, Lalana Kagal, Gerald Jay Sussman, Daniel Weitzner
Data is often encumbered by restrictions on the ways in which it may be used. These restrictions on usage may be determined by statute, by contract, by custom, or by common decency, and they are used...
PROPAGATION OF CONSTRAINTS APPLIED TO CIRCUIT SYNTHESIS* (2008)
A major component in theprocess of design is synthesis, the determination of the parameters of the parts of a network given desiderata for the behaviour of the network as a whole. Traditional...
TTL Databook of the Mind (2008)
The Problem: This is a long-term effort to develop components which can serve as a foundation from which complex “intelligent ” systems can be built, much the way that the TTL databook served as...
Bibliography [Abelson85] (2008)
Harold Abelson, Gerald Jay Sussman, Julie Sussman, Alfred Aho, Ravi Sethi, Jeffrey Ullman, ...
Andrew A. Berlin, Gerald Jay Sussman
The buckling of compressively-loaded members is one of the most important factors limiting the overall strength and stability of a structure. I have developed novel techniques for using active...
Gerald Jay Sussman, Jack Wisdom
Classical mechanics is deceptively simple. It is surprisingly easy to get the right answer with fallacious reasoning or without real understanding. To address this problem we use computational...
Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F, ...
Amorphous computing is the development of organizational principles and programming languages for obtaining coherent behavior from the cooperation of myriads of unreliable parts that are...
Information Accountability (2007)
Weitzner, Daniel J., Abelson, Harold, Berners-Lee, Tim, Feigenbaum, Joan, Hendler, James, Sussman, Gerald Jay
Ease of information flow is both the boon and the bane of large-scale, decentralized systems like the World Wide Web. For all the benefits and opportunities brought by the information revolution,...
Information Accountability (2007)
Weitzner, Daniel J., Abelson, Harold, Berners-Lee, Tim, Feigenbaum, Joan, Hendler, James, Sussman, Gerald Jay
Ease of information flow is both the boon and the bane of large-scale, decentralized systems like the World Wide Web. For all the benefits and opportunities brought by the information revolution,...
Information Accountability (2007)
Weitzner, Daniel J., Abelson, Harold, Berners-Lee, Tim, Feigenbaum, Joan, Hendler, James, Sussman, Gerald Jay
Ease of information flow is both the boon and the bane of large-scale, decentralized systems like the World Wide Web. For all the benefits and opportunities brought by the information revolution,...
Abelson, Hal, Beal, Jacob, Sussman, Gerald Jay
The goal of amorphous computing is to identify organizationalprinciples and create programming technologies for obtainingintentional, pre-specified behavior from the cooperation of myriadunreliable...
Abelson, Hal, Beal, Jacob, Sussman, Gerald Jay
The goal of amorphous computing is to identify organizationalprinciples and create programming technologies for obtainingintentional, pre-specified behavior from the cooperation of myriadunreliable...
Building Robust Systems an essay (2007)
It is hard to build robust systems: systems that have acceptable behavior over a larger class of situations than was anticipated by their designers. The most robust systems are evolvable: they can be...
Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton Van Straaten, Richard Kelsey, William Clinger, ...
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis...
A Methodology for Analog Circuit Design (2007)
Piotr Mitros, Gerald Jay Sussman, Thomas F. Knight, Arthur C. Smith, Piotr Mitros
requirements for the degree of
Timothy Berners-Lee, co-PI (2007)
Phase Ii, Iii (options, Gerald Jay Sussman
All work done on this project will be unclassified
Transparent Accountable Data Mining: New Strategies for Privacy Protection (2006)
Weitzner, Daniel J., Abelson, Harold, Berners-Lee, Tim, Hanson, Chris, Hendler, James, Kagal, Lalana, ...
Attempts to address issues of personal privacy in a world of computerized databases and information networks -- from security technology to data protection regulation to Fourth Amendment law...
Transparent Accountable Data Mining: New Strategies for Privacy Protection (2006)
Weitzner, Daniel J., Abelson, Harold, Berners-Lee, Tim, Hanson, Chris, Hendler, James, Kagal, Lalana, ...
Attempts to address issues of personal privacy in a world of computerized databases and information networks -- from security technology to data protection regulation to Fourth Amendment law...
Transparent accountable data mining: New strategies for privacy protection (2006)
Daniel J. Weitzner, Harold Abelson, Tim Berners-lee, Chris Hanson, James Hendler, Lalana Kagal, ...
Attempts to address issues of personal privacy in a world of computerized databases and information networks--from security technology to data protection regulation to Fourth Amendment law...
Transparent accountable data mining: New strategies for privacy protection (2006)
Gerald Jay, Daniel J. Weitzner, Daniel J. Weitzner, Harold Abelson, Harold Abelson, Tim Berners-lee, ...
Attempts to address issues of personal privacy in a world of computerized databases and information networks--from security technology to data protection regulation to Fourth Amendment law...
Functional Differential Geometry (2005)
Sussman, Gerald Jay, Wisdom, Jack
Differential geometry is deceptively simple. It is surprisingly easyto get the right answer with unclear and informal symbol manipulation.To address this problem we use computer programs to...
Functional Differential Geometry (2005)
Sussman, Gerald Jay, Wisdom, Jack
Differential geometry is deceptively simple. It is surprisingly easyto get the right answer with unclear and informal symbol manipulation.To address this problem we use computer programs to...
Ac Martìn Abadi, Luca Cardelli, A Theory, Objects Springer, An Arvind, ...
machine instructions for proof-carrying code. In 27th Symposium on the Principles of Programming Languages (POPL), pages 243–253,
The Role of Programming in the Formulation of Ideas (2002)
Sussman, Gerald Jay, Wisdom, Jack
Classical mechanics is deceptively simple. It is surprisingly easy to get the right answer with fallacious reasoning or without real understanding. To address this problem we use computational...
The Role of Programming in the Formulation of Ideas (2002)
Sussman, Gerald Jay, Wisdom, Jack
Classical mechanics is deceptively simple. It is surprisingly easy to get the right answer with fallacious reasoning or without real understanding. To address this problem we use computational...
Localization of Failures in Radio Circuits. A Study in Causal and Teleological Reasoning, (2002)
Brown,Allen L., Sussman,Gerald Jay
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...
Heuristic Techniques in Computer Aided Circuit Analysis, (2002)
Sussman, Gerald Jay, Stallman, Richard Matthew
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...
An Interpreter for Extended Lambda Calculus: SCHEME, (2002)
Inspired by ACTORS the authors have implemented an interpreter for a LISP-like language, SCHEME based on the lambda calculus (Church), but extended for side effects, multiprocessing, and process...
Lambda: The Ultimate Imperative, (2002)
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...
Stallman,Richard M., Sussman,Gerald Jay
A rule-based system is presented for computer-aided circuit analysis. The set of rules, called EL, is written in a rule language called ARS. Rules are implemented by ARS as pattern-directed...
The Revised Report on SCHEME: A Dialect of LISP. (2002)
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...
The Art of the Interpreter or the Modularity Complex (Parts Zero, One, and Two). (2002)
We examine the effects of various language design decisions on the programming styles available to a user of the language, with particular emphasis on the ability to incrementally construct modular...
Computer Aided Evolutionary Design for Digital Integrated Systems. (2002)
Sussman, Gerald Jay, Holloway, Jack
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...
Explicit Control of Reasoning. (2002)
DE Kleer ,Johan, Doyle ,Jon, Sussman,Gerald Jay
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution...
AMORD: A Deductive Procedure System. (2002)
Kleer ,Johan De, Doyle ,Jon, Rich ,Charles, Sussman,Gerald Jay
AMORD is a system for writing problem solvers. It encourages a style of expression in which the logical relationships of the knowledge and control structure of the problem solver are made explicit. A...
Structure and Interpretation of Classical Mechanics (2001)
Sussman, Gerald Jay, Wisdom, Jack, Mayer, Meinhard E. (Meinhard Edwin)
978-0-262-19455-6
Abelson, Harold, Allen, Don, Coore, Daniel, Hanson, Chris, Homsy, George, ...
Amorphous computing is the development of organizational principles and programming languages for obtaining coherent behaviors from the cooperation of myriads of unreliable parts that are...
Abelson, Harold, Allen, Don, Coore, Daniel, Hanson, Chris, Homsy, George, ...
Amorphous computing is the development of organizational principles and programming languages for obtaining coherent behaviors from the cooperation of myriads of unreliable parts that are...
The Conniver Reference Manual, (1998)
McDermott,Drew V., Sussman,Gerald Jay
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)
Cellular Gate Technology (1998)
Knight, Thomas F., Sussman, Gerald Jay
We propose a biochemically plausible mechanism for constructing digital logic signals and gates of significant complexity within living cells. These mechanisms rely largely on co-opting existing...
Cellular Gate Technology (1998)
Knight, Thomas F., Sussman, Gerald Jay
We propose a biochemically plausible mechanism for constructing digital logic signals and gates of significant complexity within living cells. These mechanisms rely largely on co-opting existing...
Sparse Representations for Fast, One-Shot Learning (1998)
Kenneth Yip, Gerald Jay Sussman
Humans rapidly and reliably learn many kinds of regularities and generalizations. We propose a novel model of fast learning that exploits the properties of sparse representations and the constraints...
Sparse Representations for Fast, One-Shot Learning (1998)
Kenneth Yip, Gerald Jay Sussman
Humans rapidly and reliably learn many kinds of regularities and generalizations. We propose a novel model of fast learning that exploits the properties of sparse representations and the constraints...
Sparse Representations for Fast, One-Shot Learning (1997)
Yip, Kenneth, Sussman, Gerald Jay
Humans rapidly and reliably learn many kinds of regularities and generalizations. We propose a novel model of fast learning that exploits the properties of sparse representations and the constraints...
Sparse Representations for Fast, One-Shot Learning (1997)
Yip, Kenneth, Sussman, Gerald Jay
Humans rapidly and reliably learn many kinds of regularities and generalizations. We propose a novel model of fast learning that exploits the properties of sparse representations and the constraints...
Sparse Representations for Fast, One-Shot Learning (1997)
Kenneth Yip, Gerald Jay Sussman
Humans rapidly and reliably learn many kinds of regularities and generalizations. We propose a novel model of fast learning that exploits the properties of sparse representations and the constraints...
Cellular Gate Technology (1997)
Thomas Knight Jr, Gerald Jay Sussman
We propose a biochemically plausible mechanism for constructing digital logic signals and gates of significant complexity within living cells. These mechanisms rely largely on co-opting existing...
Cellular Gate Technology (1997)
Thomas Knight, Gerald Jay Sussman
We propose a biochemically plausible mechanism for constructing digital logic signals and gates of significant complexity within living cells. These mechanisms rely largely on co-opting existing...
Cellular Gate Technology (1997)
Thomas Knight Jr, Gerald Jay Sussman
. We propose a biochemically plausible mechanism for constructing digital logic signals and gates of significant complexity within living cells. These mechanisms rely largely on co-opting existing...
A Computational Model for the Acquisition and Use of Phonological Knowledge (1996)
Yip, Kenneth, Sussman, Gerald Jay
Does knowledge of language consist of symbolic rules? How do children learn and use their linguistic knowledge? To elucidate these questions, we present a computational model that acquires...
A Computational Model for the Acquisition and Use of Phonological Knowledge (1996)
Yip, Kenneth, Sussman, Gerald Jay
Does knowledge of language consist of symbolic rules? How do children learn and use their linguistic knowledge? To elucidate these questions, we present a computational model that acquires...
Structure and Interpretation of Computer Programs (1996)
Abelson, Harold, Sussman, Gerald Jay, Sussman, Julie (colaboración)
0-262-51087-1
A computational model for the acquisition and use of phonological knowledge (1996)
Kenneth Yip, Gerald Jay Sussman
This publication can be retrieved by anonymous ftp to publications.ai.mit.edu. Does knowledge of language consist of symbolic rules? How do children learn and use their linguistic knowledge? To...
A computational model for the acquisition and use of phonological knowledge (1996)
Kenneth Yip, Gerald Jay Sussman
This publication can be retrieved by anonymous ftp to publications.ai.mit.edu. Does knowledge of language consist of symbolic rules? How dochildren learn and use their linguistic knowledge? To...
Comparison Between Subsonic Flow Simulation and Physical Measurements of Flue Pipes (1995)
Skordos, Panayotis, Sussman, Gerald Jay
Direct simulations of wind musical instruments using the compressible Navier Stokes equations have recently become possible through the use of parallel computing and through developments in numerical...
Comparison Between Subsonic Flow Simulation and Physical Measurements of Flue Pipes (1995)
Skordos, Panayotis, Sussman, Gerald Jay
Direct simulations of wind musical instruments using the compressible Navier Stokes equations have recently become possible through the use of parallel computing and through developments in numerical...
Neil Soiffer, Harold Abelson, Gerald Jay Sussman, Julie Sussman Structure, Interpretation Of, Milton Abramowitz, ...
An object oriented approach to algebraic system
Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight Jr., ...
Amorphous computing is the development of organizational principles and programming languages for obtaining coherent behavior from the cooperation of myriads of unreliable parts that are...
Harold Abelson Gerald, Gerald Jay Sussman, Julie Sussman Structure, Verification Using Lp, Stephen H. Edwards, George W. Ernst, ...
Introduction to Logic. Academic Press, 1972. [9] George W. Ernst, Raymond J. Hookway, James A. Menegay, and William F. Ogden. Semantics of programming languages for modular verification. Technical...
Comparison Between Subsonic Flow Simulation And Physical Measurements Of Flue Pipes (1995)
Panayotis Skordos, Gerald Jay Sussman
Direct simulations of wind musical instruments using the compressible Navier Stokes equations have recently become possible through the use of parallel computing and through developments in numerical...
Comparison Between Subsonic Flow Simulation and Physical Measurements of Flue Pipes (1995)
Panayotis A, Panayotis A. Skordos, Gerald Jay Sussman
Direct simulations of wind musical instruments using the compressible Navier Stokes equations have recently become possible through the use of parallel computing and through developments in numerical...
Cutler, Curt, Apostolatos, Theocharis A., Bildsten, Lars, Finn, Lee Samuel, Flanagan, Eanna E., Kennefick, Daniel, ...
Gravitational-wave interferometers are expected to monitor the last three minutes of inspiral and final coalescence of neutron star and black hole binaries at distances approaching cosmological,...
Cutler, Curt, Apostolatos, Theocharis A., Bildsten, Lars, Finn, Lee Samuel, Flanagan, Eanna E., Kennefick, Daniel, ...
Gravitational-wave interferometers are expected to monitor the last three minutes of inspiral and final coalescence of neutron star and black hole binaries at distances approaching cosmological,...
The Supercomputer Toolkit: A General Framework for Special-purpose Computing (1991)
Abelson, Harold, Berlin, Andrew A., Katzenelson, Jacob, McAllister, William H., Rozas, Guillermo J., Sussman, Gerald Jay, ...
The Toolkit is a family of hardware modules (processors, memory, interconnect, and input-output devices) and a collection of software modules (compilers, simulators, scientific libraries, and...
The Supercomputer Toolkit: A General Framework for Special-purpose Computing (1991)
Abelson, Harold, Berlin, Andrew A., Katzenelson, Jacob, McAllister, William H., Rozas, Guillermo J., Sussman, Gerald Jay, ...
The Toolkit is a family of hardware modules (processors, memory, interconnect, and input-output devices) and a collection of software modules (compilers, simulators, scientific libraries, and...
The Supercomputer Toolkit and Its Applications (1990)
Abelson, Harold, Berlin, Andrew A., Katzenelson, Jacob, McAllister, William H., Rozas, Guillermo J., Sussman, Gerald Jay
The Supercomputer Toolkit is a proposed family of standard hardware and software components from which special-purpose machines can be easily configured. Using the Toolkit, a scientist or an...
The Supercomputer Toolkit and Its Applications (1990)
Abelson, Harold, Berlin, Andrew A., Katzenelson, Jacob, McAllister, William H., Rozas, Guillermo J., Sussman, Gerald Jay
The Supercomputer Toolkit is a proposed family of standard hardware and software components from which special-purpose machines can be easily configured. Using the Toolkit, a scientist or an...
The Supercomputer Toolkit and its Applications (1990)
Mcallister A, Guillermo J. Rzaz, Harold Abelson, Harold Abelson, Andrew A. Berlin, Andrew A. Berlin, ...
The Supercomputer Toolkit is a proposed fmily of standard hardware and software components from which spedal-purpose machines can be easily configured. Using the Toolkit, a sdentist or an engineer,...
Intelligence in scientific computing (1989)
Harold Abelson, Michael Eisenberg, Mathew Halfant, Ken Yip, Jacob Katzenelson, Jacob Katzenelson, ...
Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools for...
The Dynamicist's Workbench I: Automatic Preparation of Numerical Experiments (1989)
Harold Abelson, Harold Abelson, Gerald Jay Sussman, Gerald Jay Sussman
The dynamicist's workbench is a system for automating some of the work of experimental dynamics. We describe a portion of our system that deals with the setting up and execution of numerical...
The Dynamicist's Workbench I: Automatic Preparation of Numerical Experiments (1989)
Harold Abelson, Harold Abelson, Gerald Jay Sussman, Gerald Jay Sussman
The dynamicist's workbench is a system for automating some of the work of experimental dynamics. We describe a portion of our system that deals with the setting up and execution of numerical...
Intelligence in Scientific Computing (1988)
Abelson, Harold, Eisenberg, Michael, Halfact, Mathew, Katzenelson, Jacob, Sacks, Elisha, Sussman, Gerald Jay, ...
Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools for...
Intelligence in Scientific Computing (1988)
Abelson, Harold, Eisenberg, Michael, Halfact, Mathew, Katzenelson, Jacob, Sacks, Elisha, Sussman, Gerald Jay, ...
Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools for...
Numerical Evidence that the Motion of Pluto is Chaotic (1988)
Sussman, Gerald Jay, Wisdom, Jack
The Digital Orrery has been used to perform an integration of the motion of the outer planets for 845 million years. This integration indicates that the long-term motion of the planet Pluto is...
Numerical Evidence that the Motion of Pluto is Chaotic (1988)
Sussman, Gerald Jay, Wisdom, Jack
The Digital Orrery has been used to perform an integration of the motion of the outer planets for 845 million years. This integration indicates that the long-term motion of the planet Pluto is...
Abstraction in numerical methods (1988)
Matthew Halfant, Matthew Halfant, Gerald Jay Sussman, Gerald Jay Sussman
We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software...
Abstraction in numerical methods (1988)
Matthew Halfant, Matthew Ttalfant, Gerald Jay Sussman, Gerald Jay Sussman
We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software...
Abstraction in Numerical Methods (1987)
Halfant, Matthew, Sussman, Gerald Jay
We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software...
Abstraction in Numerical Methods (1987)
Halfant, Matthew, Sussman, Gerald Jay
We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software...
Lisp: A Language for Stratified Design (1987)
Abelson, Harold, Sussman, Gerald Jay
We exhibit programs that illustrate the power of Lisp as a language for expressing the design and organization of computational systems. The examples are chosen to highlight the importance of...
Lisp: A Language for Stratified Design (1987)
Abelson, Harold, Sussman, Gerald Jay
We exhibit programs that illustrate the power of Lisp as a language for expressing the design and organization of computational systems. The examples are chosen to highlight the importance of...
The Dynamicist's Workbench: I Automatic Preparation of Numerical Experiments (1987)
Abelson, Harold, Sussman, Gerald Jay
The dynamicist's workbench is a system for automating some of the work of experimental dynamics. We describe a portion of our system that deals with the setting up and execution of numerical...
The Dynamicist's Workbench: I Automatic Preparation of Numerical Experiments (1987)
Abelson, Harold, Sussman, Gerald Jay
The dynamicist's workbench is a system for automating some of the work of experimental dynamics. We describe a portion of our system that deals with the setting up and execution of numerical...
The Outer Solar System for 210 Million Years (1986)
Applegate, James H., Douglas, Michael R., Gursel, Yekta, Sussman, Gerald Jay, Wisdom, Jack
We used a special purpose computer to integrate the orbits of the outer five planets for 100 Myr into the future and 100 Myr into the past. The strongest features in the Fourier transforms of the...
The Outer Solar System for 210 Million Years (1986)
Applegate, James H., Douglas, Michael R., Gursel, Yekta, Sussman, Gerald Jay, Wisdom, Jack
We used a special purpose computer to integrate the orbits of the outer five planets for 100 Myr into the future and 100 Myr into the past. The strongest features in the Fourier transforms of the...
The outer solar system for 200 million years, Astron (1986)
Yekta Gumel, Gerald Jay Suasman, Jack Wisdom, Michael R. Douglas, Michael R. Douglas, Gerald Jay Sussman, ...
We have used a s0ecial 0ur0ose computer to integrate the orbits of the outer five planets for 100 Myr into the future and 100 Myr into the past. The strongest features in the Fourier transforms of...
The outer solar system for 200 million years, Astron (1986)
Yekta Gumel, Gerald Jay Suasman, Jack Wisdom, Michael R. Douglas, Michael R. Douglas, Yekta Gfirsel, ...
We have used a special purpose computer to integrate the orbits of the outer five planets for 100 Myr into the future and 100 Myr into the past. The strongest features in the Fourier transforms of...
Structure and Interpretation of Computer Programs (1983)
Abelson, Harold, Sussman, Gerald Jay
"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Science at the Massachusetts Institute of Technology. It is required of all students at MIT who major in...
Structure and Interpretation of Computer Programs (1983)
Abelson, Harold, Sussman, Gerald Jay
"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Science at the Massachusetts Institute of Technology. It is required of all students at MIT who major in...
Constraints: A Language for Expressing Amost-Hierarchical Descriptions (1981)
We present an interactive system organized around networks of constraints rather than the programs which manipulate them. We describe a language of hierarchical constraint networks. We describe one...
Constraints: A Language for Expressing Amost-Hierarchical Descriptions (1981)
We present an interactive system organized around networks of constraints rather than the programs which manipulate them. We describe a language of hierarchical constraint networks. We describe one...
Holloway, Jack, Sussman, Gerald Jay, Bell, Alan
We have designed and implemented a single-chip microcomputer (which we call SCHEME-79) which directly interprets a typed pointer variant of SCHEME, a dialect of the language LISP. To support this...
Holloway, Jack, Sussman, Gerald Jay, Bell, Alan
We have designed and implemented a single-chip microcomputer (which we call SCHEME-79) which directly interprets a typed pointer variant of SCHEME, a dialect of the language LISP. To support this...
A model for deliberation, action, and introspection (1980)
Jon Doyle, Jon Doyle, Jon Doyle, Gerald Jay Sussman
reproduced or transmitted in any form or by any means, electronic or mechanical, including
Jon Doyle, Jon Doyle, Jon Doyle, Gerald Jay Sussman
transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage or retrieval system, without permission in writing from the author.
The Dream of a Lifetime: A Lazy Scoping Mechanism (1979)
We define a "rack", a data abstraction hybrid of a register and a stack. It is used for encapsulating the behavior of the kind of register whose contents may have an extent which requires that it be...
The Dream of a Lifetime: A Lazy Scoping Mechanism (1979)
We define a "rack", a data abstraction hybrid of a register and a stack. It is used for encapsulating the behavior of the kind of register whose contents may have an extent which requires that it be...
Computer Aided Evolutionary Design for Digital Integrated Systems (1979)
Sussman, Gerald Jay, Holloway, Jack
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...
Computer Aided Evolutionary Design for Digital Integrated Systems (1979)
Sussman, Gerald Jay, Holloway, Jack
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...
We present a design for a class of computers whose 'instruction sets' are based on LISP. LISP, like traditional stored-program machine languages and unlike most high-level languages, conceptually...
We present a design for a class of computers whose 'instruction sets' are based on LISP. LISP, like traditional stored-program machine languages and unlike most high-level languages, conceptually...
We present an interactive system organized around networks of constraints rather than the programs which manipulate them. We describe a language of hierarchical constraint networks. We describe one...
We present an interactive system organized around networks of constraints rather than the programs which manipulate them. We describe a language of hierarchical constraint networks. We describe one...
Propagation of Constraints Applied to Circuit Synthesis (1978)
Kleer, Johan De, Sussman, Gerald Jay
A major component in the process of design is synthesis, the determination of the parameters of the parts of a network given desiderata for the behavior of the network as a whole. Traditional...
Propagation of Constraints Applied to Circuit Synthesis (1978)
Kleer, Johan De, Sussman, Gerald Jay
A major component in the process of design is synthesis, the determination of the parameters of the parts of a network given desiderata for the behavior of the network as a whole. Traditional...
The Art of the Interpreter of the Modularity Complex (Parts Zero, One, and Two) (1978)
We examine the effects of various language design decisions on theprogramming styles available to a user of the language, with particular emphasis on the ability to incrementally construct modular...
The Art of the Interpreter of the Modularity Complex (Parts Zero, One, and Two) (1978)
We examine the effects of various language design decisions on theprogramming styles available to a user of the language, with particular emphasis on the ability to incrementally construct modular...
AMORD: A Deductive Procedure System (1978)
Kleer, Johan De, Doyle, Jon, Rich, Charles, Sussman, Gerald Jay
We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper...
The Revised Report on SCHEME: A Dialect of LISP (1978)
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...
The Revised Report on SCHEME: A Dialect of LISP (1978)
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...
AMORD: A Deductive Procedure System (1978)
Kleer, Johan De, Doyle, Jon, Rich, Charles, Sussman, Gerald Jay
We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper...
AMORD: A Deductive Procedure System (1977)
Sussman, Gerald Jay, Steele, Guy L. Jr., Rich, Charles, Doyle, Jon, De Kleer, Johan
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part...
AMORD: A Deductive Procedure System (1977)
Sussman, Gerald Jay, Steele, Guy L. Jr., Rich, Charles, Doyle, Jon, De Kleer, Johan
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part...
SLICES: At the Boundary Between Analysis and Synthesis (1977)
The algebraic difficulty of determining the component values in a circuit of known topology and specifications is large. Expert circuit designers use terminal equivalence and power arguments to...
SLICES: At the Boundary Between Analysis and Synthesis (1977)
The algebraic difficulty of determining the component values in a circuit of known topology and specifications is large. Expert circuit designers use terminal equivalence and power arguments to...
Explicit Control of Reasoning (1977)
Kleer, Johan De, Doyle, Jon, Sussman, Gerald Jay
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution...
Electrical Design: A Problem for Artificial Intelligence Research (1977)
This report outlines the problem of intelligent failure recovery in a problem-solver for electrical design. We want our problem solver to learn as much as it can from its mistakes. Thus we cast the...
Electrical Design: A Problem for Artificial Intelligence Research (1977)
This report outlines the problem of intelligent failure recovery in a problem-solver for electrical design. We want our problem solver to learn as much as it can from its mistakes. Thus we cast the...
Explicit Control of Reasoning (1977)
Kleer, Johan De, Doyle, Jon, Sussman, Gerald Jay
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution...
Abstract: EXPLICIT CONTROL OF REASONING (1977)
Johan De Kleer, Jon Doyle, Guy L. Steele, Gerald Jay Sussman
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution...
Stallman, Richard M., Sussman, Gerald Jay
We present a rule-based system for computer-aided circuit analysis. The set of rules, called EL, is written in a rule language called ARS. Rules are implemented by ARS as pattern-directed invocation...
Stallman, Richard M., Sussman, Gerald Jay
We present a rule-based system for computer-aided circuit analysis. The set of rules, called EL, is written in a rule language called ARS. Rules are implemented by ARS as pattern-directed invocation...
Lambda: The Ultimate Imperative (1976)
We demonstrate how to model the following common programmingsconstructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO...
Lambda: The Ultimate Imperative (1976)
We demonstrate how to model the following common programmingsconstructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO...
Heuristic Techniques in Computer Aided Circuit Analysis (1975)
Sussman, Gerald Jay, Stallman, Richard Matthew
We present EL, a new kind of circuit analysis program. Whereas other circuit analysis systems rely on classical, formal analysis techniques, EL employs heuristic "inspection" methods to solve rather...
Heuristic Techniques in Computer Aided Circuit Analysis (1975)
Sussman, Gerald Jay, Stallman, Richard Matthew
We present EL, a new kind of circuit analysis program. Whereas other circuit analysis systems rely on classical, formal analysis techniques, EL employs heuristic "inspection" methods to solve rather...
Scheme: An interpreter for extended lambda calculus (1975)
Abstract. Inspired by ACTORS [7, 17], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [2], but extended for side effects, multiprocessing, and...
Localization of Failures in Radio Circuits: A Study in Causal and Teleological Reasoning (1974)
Sussman, Gerald Jay, Brown, Allen L.
This 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...
Localization of Failures in Radio Circuits: A Study in Causal and Teleological Reasoning (1974)
Sussman, Gerald Jay, Brown, Allen L.
This 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...
Synthesis of a Network with a Given System Function (1974)
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of...
Synthesis of a Network with a Given System Function (1974)
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of...
Some Projects in Automatic Programming (1974)
Goldstein, Ira, Sussman, Gerald Jay
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of...
Some Projects in Automatic Programming (1974)
Goldstein, Ira, Sussman, Gerald Jay
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of...
A computational model of skill acquisition. (1973)
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1973.
A computational model of skill acquisition. (1973)
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1973.
Teaching of Procedures-Progress Report (1972)
The idea of building a programmer is very seductive in that it holds the promise of massive bootstrapping and thus ties in with many ideas about learning and teaching. I will avoid going into those...
Teaching of Procedures-Progress Report (1972)
The idea of building a programmer is very seductive in that it holds the promise of massive bootstrapping and thus ties in with many ideas about learning and teaching. I will avoid going into those...
The Conniver Reference Manual (1972)
McDermott, Drew V., Sussman, Gerald Jay
This manual is intended to be a guide to the philosophy and use of the programming language CONNIVER, which is "complete," and running at the AI Lab now. It assumes good knowledge of LISP, but no...
The Conniver Reference Manual (1972)
McDermott, Drew V., Sussman, Gerald Jay
This manual is intended to be a guide to the philosophy and use of the programming language CONNIVER, which is "complete," and running at the AI Lab now. It assumes good knowledge of LISP, but no...
Why Conniving is Better than Plannng (1972)
Sussman, Gerald Jay, McDermott, Drew Vincent
This paper is a critique of a computer programming language, Carl Hewitts PLANNER, a formalism designed especially to cope with the problems that Artificial Intelligence encounters. It is our...
Why Conniving is Better than Plannng (1972)
Sussman, Gerald Jay, McDermott, Drew Vincent
This paper is a critique of a computer programming language, Carl Hewitts PLANNER, a formalism designed especially to cope with the problems that Artificial Intelligence encounters. It is our...
Why Conniving is Better than Planning (1972)
A higher level language derives its great power form the fact that it tends to impose structure on the problem solving behavior for the user. Besides providing a library of useful subroutines with a...
Why Conniving is Better than Planning (1972)
A higher level language derives its great power form the fact that it tends to impose structure on the problem solving behavior for the user. Besides providing a library of useful subroutines with a...
Micro-Planner Reference Manual (Update) (1971)
Sussman, Gerald Jay, Winograd, Terry, Charniak, Eugene
This is a manual for the use of the Micro Planner interpreter, which implements a subset of Carl Hewitt's language, PLANNER and is now available for use by the Artificial Intelligence Group.
Micro-Planner Reference Manual (Update) (1971)
Sussman, Gerald Jay, Winograd, Terry, Charniak, Eugene
This is a manual for the use of the Micro Planner interpreter, which implements a subset of Carl Hewitt's language, PLANNER and is now available for use by the Artificial Intelligence Group.
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported by the Advanced Research Projects Agency of the...
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported by the Advanced Research Projects Agency of the...