A laboratory for the study of automating programming

Authors:
T. E. Cheatham, Jr;Ben Wegbreit
Affiliations:
Atlantic City, N.J.;Atlantic City, N.J.
Venue:
ACM SIGSAM Bulletin
Year:
1972

Citing 10
Cited 1

Experiments with a Heuristic Compiler

Journal of the ACM (JACM)
Nondeterministic Algorithms

Journal of the ACM (JACM)
Automatic Theorem Proving With Renamable and Semantic Resolution

Journal of the ACM (JACM)
Experiments with a deductive question-answering program

Communications of the ACM
An interpretation oriented theorem prover over integers

STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Translating recursion equations into flow charts

STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
The use of theorem-proving techniques in question-answering systems

ACM '68 Proceedings of the 1968 23rd ACM national conference
Micro-Planner Reference Manual

Micro-Planner Reference Manual
A program verifier

A program verifier
The application of theorem proving to question-answering systems

The application of theorem proving to question-answering systems

Stereotypes as an actor approach towards solving the problem of procedural attachment in frame theories

TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe a facility which we characterize as a laboratory for the study of automating programming. The considerable body of work which is related to programming automation is surveyed briefly, and, following this, the basic components of the laboratory and approach to be employed in utilizing it are discussed.