• Publications
  • Influence
Bulk synchronous parallel computing-a paradigm for transportable software
TLDR
The role of unbundled compiler technology in facilitating the development of such a parallel computer environment is described, based on the Bulk Synchronous Parallel Model, which is a general purpose parallel computing environment for developing transportable algorithms. Expand
Software Technology in the 1990's: Using a New Paradigm
TLDR
There is a clear need to investigate a software paradigm based on automation, which augments the effectiveness of the costly and limited supply of people producing and maintaining software, and the existing software paradigm is not a good candidate. Expand
Report on a knowledge-based software assistant
TLDR
This KBSA will provide a corporate memory of the development history and act throughout the life cycle as a knowledgeable software assistant to the human involved (e.g., the developers, maintainers, project managers, and end-users). Expand
Symbolic Evaluation and the Analysis of Programs
TLDR
A symbolic evaluator uses conditional expressions to represent the uncertainty that arises from branching and develops and attempts to solve recurrence relations that describe the behavior of loop variables. Expand
Reusability Through Program Transformations
  • T. Cheatham
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1 September 1984
TLDR
A methodology and supporting programming environment that provide for reuse of abstract programs and the use of the methodology in the setting of rapid prototyping and custom tailoring is discussed. Expand
The introduction of definitional facilities into higher level programming languages
  • T. Cheatham
  • Computer Science
  • AFIPS '66 (Fall)
  • 7 November 1966
TLDR
The purpose of this paper is to present a scheme for employing definitional or "macro" features in a higher level programming language and to indicate the kinds of extensions one might propose to current programming languages in order to usefully employ these kinds of facilities. Expand
Syntax-directed compiling
TLDR
The techniques discussed operate as follows: Given a set of rules for forming allowable constructs of a language, a source statement in that language is analyzed by guessing how the statement is constructed and either verifying that this is the case or backing up to try again, assuming some other method of construction. Expand
On the basis for ELF: an extensible language facility
TLDR
There are two basic premises which underlie the development of ELF: there exists a need for a wide variety of programming languages and the facility must be natural for the user to use in the solution of his particular problem. Expand
On a laboratory for the study of automating programming
TLDR
An overview of the project currently under way at Harvard's Center for Research in Computing Technology, directed toward the implementation of a laboratory for the study of programming automation techniques, and suggests that there are a variety of research areas which are strongly related to the question of automating programming in which the laboratory might be employed as a research tool. Expand
...
1
2
3
4
5
...