Search
Now showing items 1-10 of 33
Programming Viewed as an Engineering Activity
(1978-01-01)
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the behavior of the ...
Cryptology and Data Communications
(MIT Artificial Intelligence Laboratory, 1976-12)
This paper is divided into two parts. The first part deals with cryptosystems and cryptanalysis. It surveys the basic information about cryptosystems and then addresses two specific questions. Are cryptosystems such as ...
Mechanical Arm Control
(MIT Artificial Intelligence Laboratory, 1973-03-19)
This paper discusses three main problems associated with the control of the motion of a mechanical arm.
1) Transformation between different coordinate systems used to describe the state of the arm.
2) Calculation of ...
A System for Understanding Mathematical FORTRAN Programs
(1976-08-01)
This paper proposes a system which, when implemented, will be able to understand mathematical FORTRAN programs such as those in the IBM Scientific Subroutine Package. The system takes, as input, a program and annotation ...
Computer Aided Evolutionary Design for Software Engineering
(1979-01-01)
We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of software systems. ...
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 ...
Program Translation via Abstraction and Reimplementation
(1986-12-01)
Essentially all program translators (both source-to-source translators and compilers) operate via transliteration and refinement. This approach is fundamentally limited in the quality of the output it can produce. In ...
Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation
(1987-11-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 ...
The Programmer's Apprentice Project: A Research Overview
(1987-11-01)
The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial ...
Obviously Synchronizable Series Expressions: Part I: User's Manual for the OSS Macro Package
(1987-10-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 ...