abstract ;;Quote: programs are not text; they are hierarchical compositions of computational structures; should be processed as such

563+ ;;Quote: a programming language grammar in the Cornell_Program_Synthesizer is a collection of templates

563 ;;Quote: write a program in the Cornell_Program_Synthesizer by inserting statements and expressions into the skeleton of previously entered templates

564 ;;Quote: a Cornell_Program_Synthesizer template is a fixed, formatted pattern of keywords, punctuation, and indentation

564 ;;Quote: placeholders in a Cornell_Program_Synthesizer template designates the location and syntactic class of an insertion; e.g., if (condition) then ...

565+ ;;Quote: Cornell_Program_Synthesizer checks phrases for syntactic error when the cursor leaves the placeholder

565 ;;Quote: Cornell_Program_Synthesizer reports syntactic errors as soon as they are made

565 ;;Quote: change the structure of a Cornell_Program_Synthesizer program by adding and deleting whole templates and phrases; guarantees structural integrity

567 ;;Quote: Cornell_Program_Synthesizer uses comment templates: a one-line comment followed by a block of statements which are optionally displayed

568 ;;Quote: a comment template in Cornell_Program_Synthesizer acts as a single instruction for flow-tracing and pacing

568 ;;Quote: single-step in debugging Cornell_Program_Synthesizer programs can execute one step, one block, a statement list, a template, or a procedure

569 ;;Quote: Cornell_Program_Synthesizer can reverse execution for a bounded number of steps; with tracing and monitoring, allows quick convergence to error

569 ;;Quote: Cornell_Program_Synthesizer templates are abstract computational units; high level of abstraction; user never mired in syntactic detail