The Cornell program synthesizer: a syntax-directed programming environment

  title={The Cornell program synthesizer: a syntax-directed programming environment},
  author={T. Teitelbaum and T. Reps},
  journal={Commun. ACM},
  • T. Teitelbaum, T. Reps
  • Published 1981
  • Computer Science
  • Commun. ACM
  • 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… CONTINUE READING

    Topics from this paper.

    Feature Models, Grammars, and Propositional Formulas
    • 1,200
    • PDF
    The synthesizer generator
    • 218
    PECAN: Program Development Systems that Support Multiple Views
    • 332
    Centaur: the system
    • 421
    Proofs as programs
    • 171
    • PDF


    Publications referenced by this paper.
    Bidops: a bi-directional programming system
    • 3
    • Highly Influential