The Cornell program synthesizer: a syntax-directed programming environment

@article{Teitelbaum1981TheCP,
  title={The Cornell program synthesizer: a syntax-directed programming environment},
  author={Tim Teitelbaum and T. Reps},
  journal={Commun. ACM},
  year={1981},
  volume={24},
  pages={563-573}
}
Programs are not text; they are hierarchical compositions of computational structures and should be edited, executed, and debugged in an environment that consistently acknowledges and reinforces this viewpoint. The Cornell Program Synthesizer demands a structural perspective at all stages of program development. Its separate features are unified by a common foundation: a grammar for the programming language. Its full-screen derivation-tree editor and syntax-directed diagnostic interpreter… Expand
The synthesizer generator
TLDR
The Synthesizer Generator is a tool for creating full-screen editors for manipulating programs in the language from language descriptions, specifying the desired relationships and the feedback to be given when they are violated. Expand
Practical applications of a syntax directed program manipulation environment
TLDR
The applications presented belong to the area of program editing and manipulation, extensions of programming languages through the development of preprocessors, processing of multi-formalism documents and program portability. Expand
A system for writing Pascal programs interactively
TLDR
This work discusses how individual phases (or modules) of the compiler can be used along with other simple tools to help construct programs. Expand
ACE: A Cliché-based Program Structure Editor
TLDR
ACE extends the syntax-directed paradigm of program editing by adding sup- port for programming clichis, which is based on a modified grammar which is designed to facilitate editing. Expand
MAJIC—an integrated program support environment
TLDR
The Jackson Structured Programming (JSP) method is supported by an integrated set of diagram editors, list handlers and syntax checkers, and automatically generating COBOL 74 code is automatically generated. Expand
Incremental execution environment
TLDR
The Incremental Execution Environment examines the way to help users to develop programs incrementally, and to show running behaviour during each stage of development. Expand
Declarative Language Denitions and Code Generation as Linearization
TLDR
This paper presents a compiler for a fragment of the C programming language, with JVM (Java Virtual Machine) as target language, derived by using the GF (Grammatical Framework) grammat tool. Expand
On designing a language for exclusive use in a syntax directed programming environment
TLDR
Research has recently been undertaken to develop a block-structured language which will be well-suited to a syntax-directed programming environment. Expand
Grammar-based program transformation
  • S. Keller
  • Computer Science
  • Proceedings. Conference on Software Maintenance, 1988.
  • 1988
TLDR
The concept of a grammar-based editor is introduced, a well-defined system that applies the descriptive power of context-free grammars to the software editing problem. Expand
Type-Directed Program Transformations for the Working Functional Programmer
We present preliminary research on Deuce+, a set of tools integrating plain text editing with structural manipulation that brings the power of expressive and extensible type-directed programExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 43 REFERENCES
The design and implementation of a table driven, interactive diagnostic programming system
CAPS is a highly interactive diagnostic compiler/interpreter that allows beginning programmers to prepare, debug, and execute fairly simple programs at a graphics display terminal. Complete syntaxExpand
Incremental evaluation for attribute grammars with application to syntax-directed editors
TLDR
The advantages of attribute grammars as a specification technique for a syntax-directed editing system are discussed and an efficient algorithm for incrementally evaluating attributes as a program tree is derived is presented. Expand
A Formal Syntax for PL/CS
TLDR
The present report supersedes this earlier report as the document defining the syntax of the PL/CS subset and defines the language described in: Conway, R., "PL/CS A Highly-Disciplined Subset of PL/C". Expand
A Fortran language anticipation and prompting system
An experimental interactive system has been developed on an intelligent terminal which accepts only syntactically correct Fortran statements and otherwise assists the user in preparing FortranExpand
Optimal-time incremental semantic analysis for syntax-directed editors
  • T. Reps
  • Computer Science
  • POPL '82
  • 1982
TLDR
An algorithm is presented that identifies attributes in AFFECTED and computes their new values and the algorithm is time-optimal, its cost is proportional to the size of AFFectED. Expand
A program development tool
TLDR
This paper describes how a number of tools (most of which understand a particular programming language) are combined into a single system to aid in the reading, writing, and running of programs. Expand
EXDAMS: extendable debugging and monitoring system
  • R. Balzer
  • Computer Science
  • AFIPS '69 (Spring)
  • 1969
With the advent of the higher-level algebraic languages, the computer industry expected to be relieved of the detailed programming required at the assembly-language level. This expectation hasExpand
An Incremental Programming Environment
This paper describes an incremental programming environment (IPE) based on compilation technology, but providing facilities traditionally found only in interpretive systems. IPE provides aExpand
The CORE User Interface
TLDR
The distinctive characteristic of the CORE program development environment is its ttolerant user interface, which is unusually frugal in the size of the command set, and unusually consistent in its treatment of statements, immediate statements and commands. Expand
Global program analysis in an interactive environment
See next page This report reproduces a disserttion submitted to the Departent of Computer Science and the Committee on Grauate Studies of Stanford University in parial fulfilment of the requirementsExpand
...
1
2
3
4
5
...