|
 ABSTRACT
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 combine to make the Synthesizer a powerful and responsive interactive programming tool.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
1
|
C. N. Alberga , A. L. Brown , G. B. Leeman, Jr. , M. Mikelsons , M. N. Wegman, A program development tool, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.92-104, January 26-28, 1981, Williamsburg, Virginia
[doi> 10.1145/567532.567543]
|
| |
2
|
|
| |
3
|
Balzer, R.M., EXDAMS-EXtendable Debugging and Monitoring System, AFIPS Proc. V. 34 (SJCC 1969), 567-580.
|
| |
4
|
Constable, R., and O'Donnell, M.J. A Programming Logic. Winthrop, Cambridge, MA, 1978.
|
| |
5
|
Conway, R. and Constable, R. PL/CS-A disciplined subset of PL/I. Tech. Rept No. 76-293, Dept. of Comptr. Sci., Cornell 1976.
|
| |
6
|
Conway, R. Primer on Disciplined Programming Using PL/CS. Winthrop, Cambridge, MA, 1978.
|
| |
7
|
Conway, R. and Gries, D. An introduction toprogramming--a structured approach using PL/I and PL/C. Winthrop, Cambridge, MA, 1979, 135-137.
|
| |
8
|
|
| |
9
|
Donzeau-Gouge, V., Huet, G., Kahn, G., Lang, B., and Levy, J.J. A structure-oriented program editor. Tech. Rept, IRIA-LABORIA, France 1975.
|
| |
10
|
Engelbart, D.C. and English, W.K. A research center for augmenting human intellect. AFIPS Proc. V. 33 (FJCC, 1968).
|
| |
11
|
Feiler, P.H. and Medina-Mora, R., An incremental programming environment. Dept. of Comptr. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, April 1980.
|
| |
12
|
|
| |
13
|
Habermarm, A.N. An overview of the Gandalf project. Comptr. Sci. Res. Rev. 1978-79, Carnegie-Mellon Univ., Pittsburgh, PA, 1979.
|
| |
14
|
Hodgson, L.I., and Porter, M. BIDOPS: A bi-directional programming system. Dept. of Comptr. Sci., Univ. of New England, Armidale, N.S.W., Australia, 1980.
|
| |
15
|
Joy, B. Ex Reference manual. Dept. of Electrical Eng. and Comptr. Sci., Univ. California, Berkeley, CA, 1977.
|
| |
16
|
|
| |
17
|
Lewis, J.W. and Porges, D.F. ALBE/P: a language-based editor for Pascal. Dept. of Comptr. Sci., Yale Univ., New Haven, CT.
|
| |
18
|
Masinter, L.M. Global program analysis in an interactive environment. Xerox PARC Report SSL-80-1, Jan. 1980.
|
| |
19
|
Mikelsons, M. and Wegman, M.N. PDE1L: The PL1L program development environment principles of operation. Res. Rept RC8513, IBM, Thomas J. Watson Research Center, Yorktown Heights, NY, Nov. 1980.
|
| |
20
|
|
| |
21
|
Reps, T. Optimal-time incremental semantic analysis for syntaxdirected editors. Tech. Report No. 81-453, Dept. of Comptr. Sci., CorneU University, Ithaca, NY, March 1981.
|
| |
22
|
Skinner, G. Ged user documentation. Dept. of Comptr. Sci., Cornell Univ., Ithaca, NY,
|
| |
23
|
|
| |
24
|
|
| |
25
|
Teitelbaum, T. The Cornell program synthesizer: A tutorial introduction. Tech. Report No. TR79-381, Dept. Comptr. Sci., Cornell Univ., Ithaca, NY, July 1979, Revised Jan. 1980.
|
| |
26
|
Teitelman, W. INTERLISP reference manual. Xerox PARC, 1974.
|
| |
27
|
Teitelman, W. A display-oriented programmer's assistant. Xerox PARC, March 1977.
|
| |
28
|
|
| |
29
|
|
CITED BY 179
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N. H. Madhavji , V. Gruhn , W. Deiters , W. Schäfer, Prism = methodology + process-oriented environment, Proceedings of the 12th international conference on Software engineering, p.277-288, March 26-30, 1990, Nice, France
|
|
|
Richard N. Taylor , Frank C. Belz , Lori A. Clarke , Leon Osterweil , Richard W. Selby , Jack C. Wileden , Alexander L. Wolf , Michael Young, Foundations for the Arcadia environment architecture, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.1-13, November 1988
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Stephen W. Smoliar , David Barstow, Who needs languages, and why do they need them? or no matter how high the level, it's still programming, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.149-157, June 27-29, 1983, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Stephen C. Arnold , Leo Mark , John Goldthwaite, Programming by voice, VocalProgramming, Proceedings of the fourth international ACM conference on Assistive technologies, p.149-155, November 13-15, 2000, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jérome Chailloux , Ma´thieu Devin , Jean-Marie Hullot, LELISP, a portable and efficient LISP system, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.113-122, August 06-08, 1984, Austin, Texas, United States
|
|
|
|
|
|
|
|
|
P. Borras , D. Clement , Th. Despeyroux , J. Incerpi , G. Kahn , B. Lang , V. Pascual, Centaur: the system, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.14-24, November 1988
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Robert DeLine , Gregory Zelesnik , Mary Shaw, Lessons on converting batch systems to support interaction: experience report, Proceedings of the 19th international conference on Software engineering, p.195-204, May 17-23, 1997, Boston, Massachusetts, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. Ruthruff , E. Creswick , M. Burnett , C. Cook , S. Prabhakararao , M. Fisher, II , M. Main, End-user software visualizations for fault localization, Proceedings of the 2003 ACM symposium on Software visualization, June 11-13, 2003, San Diego, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yukikazu Nakamoto , Tadahiro Iwamoto , Masato Hori , Kenichi Hagihara , Nobuki Tokura, An editor for documentation in &pgr;-system to support software development and maintenance, Proceedings of the 6th international conference on Software engineering, p.330-339, September 13-16, 1982, Tokyo, Japan
|
|
|
|
|
|
|
|
|
V Donzeau-Gouge , B. Lang , B. Mélèse, Practical applications of a syntax directed program manipulation environment, Proceedings of the 7th international conference on Software engineering, p.346-354, March 26-29, 1984, Orlando, Florida, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tony Cant , Brendan Mahony , Jim McCarthy , Linh Vu, Hierarchical verification environment, Proceedings of the 10th Australian workshop on Safety critical systems and software, p.47-57, August 25, 2005, Sydney, Australia
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2