Search
Now showing items 1-10 of 23
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 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 ...
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 ...
System Validation via Constraint Modeling
(1988-02-01)
Constraint modeling could be a very important system validation method, because its abilities are complementary to both testing and code inspection. In particular, even though the ability of constraint modeling to ...
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 ...
LetS: An Expressional Loop Notation
(1983-02-01)
Many loops can be more easily understood and manipulated if they are viewed as being built up out of operations on sequences of values. A notation is introduced which makes this viewpoint explicit. Using it, loops can ...
GPRINT: A LISP Pretty Printer Providing Extensive User Format Control Mechanism
(1982-09-01)
A Lisp pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as programs. It is ...
Formalizing Reusable Software Components in the Programmer's Apprentice
(1987-02-01)
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any resistance to the ...
Abstraction, Inspection and Debugging in Programming
(1981-06-01)
We believe that software engineering has much to learn from other mature engineering disciplines, such as electrical engineering, and that the problem solving behaviors of engineers in different disciplines have many ...
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 ...