Search
Now showing items 21-30 of 33
XP. A Common Lisp Pretty Printing System
(1989-03-01)
XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data structures, as well ...
The Disciplined Use of Simplifying Assumptions
(MIT Artificial Intelligence Laboratory, 1981-12)
Simplifying assumptions — everyone uses them but no one's programming tool explicitly supports them. In programming, as in other kinds of engineering design, simplifying assumptions are an important method for dealing with ...
Optimization of Series Expressions: Part II: Overview of the Theory and Implementation
(1989-01-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to ...
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging
(1989-01-01)
A recognition assistant will help reconstruct the design of a program, given only its source code. A design assistant will assist a programmer by detecting errors and inconsistencies in his design choices and by ...
Optimization of Series Expressions: Part I: User's Manual for the Series Macro Package
(1989-01-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to understand ...
The Programmer's Apprentice: A Program Design Scenario
(1987-11-01)
A scenario is used to illustrate the capabilities of a proposed Design Apprentice, focussing on the area of detailed, low-level design. Given a specification, the Design Apprentice will be able to make many of the ...
Obviously Synchronizable Series Expression: Part I: User's Manual for the OSS Macro Package
(1988-03-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to ...
Obviously Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation
(1988-03-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to ...
PP: A LISP Pretty Printing System
(1984-12-01)
The PP system provides an efficient implementation of the Common Lisp pretty printing function PPRINT. In addition, PP goes beyond ordinary pretty printers by providing mechanisms which allow the user to control the ...
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis
(1979-01-01)
Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed ...