Incremental Context-Dependent Analysis for Language-Based Editors

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	Alfred V. Aho , John E. Hopcroft, The Design and Analysis of Computer Algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1974
	2	ARTHUR, J., AND RAMANATHAN, J. Design of analyzers for selective program analysis. IEEE Trans. Softw. Eng. SE-7, I (Jan. 1981), 39-51.
	3	BABICH, W.A., AND JAZAYERI, M. The method of attributes for data flow analysis. Part I: Exhaustive analysis; Part II: Demand analysis. Acta Inf. 10, 3 (Oct. 1978), 245-272.
	4	Gregor V. Bochmann, Semantic evaluation from left to right, Communications of the ACM, v.19 n.2, p.55-62, Feb. 1976 [doi>10.1145/359997.359999]
	5	Alan Demers , Thomas Reps , Tim Teitelbaum, Incremental evaluation for attribute grammars with application to syntax-directed editors, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.105-116, January 26-28, 1981, Williamsburg, Virginia [doi>10.1145/567532.567544]
	6	DONZEAU-GOUGE, V., HUET, G., KAHN, G., AND LANG, B. Programming environments based on structured editors: The MENTOR experience. Tech. Rep., INRIA, Le Chesnay, France, May 1980.
	7	DONZEAU-GOUGE, V., HUET, G., KAHN, G., LANG, B., AND LEVY, J.J. A structure-oriented program editor. Tech. Rep., IRIA-LABORIA, Le Chesnay, France, 1975.
	8	FANG, I. FOLDS, a declarative formal language definition system. Tech. Rep. STAN-CS-72-329, Computer Science Dept., Stanford Univ., Stanford, Calif., Dec. 1972.
	9	Rodney Wayne Farrow, Attributed grammar models for data flow analysis., 1977
	10	GANZINGER, H., RIPKEN, K., AND WILHELM, R. Automatic generation of optimizing multipass compilers. In Information Processing 77; Proceedings of the IFIP Congress 77, B. Gilchrist (Ed.). Elsevier North-Holland, New York, 1977, pp. 535-540.
	11	Susan L. Gerhart, Correctness-preserving program transformations, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.54-66, January 20-22, 1975, Palo Alto, California [doi>10.1145/512976.512983]
	12	Wilfred James Hansen, Creation of hierarchic text with a computer display, 1971
	13	Fahimeh Jalili , Jean H. Gallier, Building friendly parsers, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.196-206, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582175]
	14	Mehdi Jazayeri , William F. Ogden , William C. Rounds, The intrinsically exponential complexity of the circularity problem for attribute grammars, Communications of the ACM, v.18 n.12, p.697-706, Dec. 1975 [doi>10.1145/361227.361231]
	15	Gregory F. Johnson , Charles N. Fischer, Non-syntactic attribute flow in language based editors, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.185-195, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582174]
	16	KASTENS, U., HURT, B., AND ZIMMERMANN, E. Lecture Notes in Computer Science, vol. 141: GAG, a Practical Compiler Generator. Springer-Verlag, New York, 1982.
	17	Ken Kennedy , Jayashree Ramanathan, A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.1, p.142-160, July 1979 [doi>10.1145/357062.357072]
	18	KNUTH, D.E. Semantics of context-free languages: Correction. Math. Syst. Theory 5, 1 (Mar. 1971 ), 95-96.
	19	KNUTH, D.E. Semantics of context-free languages. Math. Syst. Theory 2, 2 (June 1968), 127-145.
	20	Donald E. Knuth, The art of computer programming, volume 1 (3rd ed.): fundamental algorithms, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1997
	21	Dean Blackmar Kraft, Avid: a system for the interactive development of verifiably correct programs, 1981
	22	LEwIs, P.M., ROSENKRANTZ, D.J., AND STEARNS, R.E. Attributed translations. J. Comput. Syst. Sci. 9, 3 (Dec. 1974), 279-307.
	23	Bernard Lorho, Semantic attributes processing in the system DELTA, Symposium on Methods of Algorithmic Language Implementation, p.21-40, September 10-13, 1975
	24	Raul I. Medina-Mora, Syntax-directed editing: towards integrated programming environments, 1982
	25	MEDINA-MORA, R., AND F~ILER, P. An incremental programming environment. IEEE Trans. Sofiw. Eng. SE-7, 5 (Sept. 1981), 472-482.
	26	MEDINA-MORA, R., AND NOTKIN, D.S. ALOE users' and implementors' guide. Tech. Rep. CMU- CS-81-145, Dept. of Computer Science, Carnegie-Mellon Univ., Pittsburgh, Pa., Nov. 1981.
	27	MIKELSONS, M., AND WEGMAN, M.N. PDEIL: The PL1L program development environment; principles of operation. Res. Rep. RC8513, IBM Thomas J. Watson Research Center, Yorktown Heights, N.Y., Nov. 1980.
	28	D. R. Milton , L. W. Kirchhoff , B. R. Rowland, An all(1) compiler generator, Proceedings of the 1979 SIGPLAN symposium on Compiler construction, p.152-157, August 06-10, 1979, Denver, Colorado, United States
	29	Joseph M. Morris , Mayer D. Schwartz, The design of a language-directed editor for block-structured languages, Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation, p.28-33, June 08-10, 1981, Portland, Oregon, United States
	30	D. Neel , M. Amirchahy, Semantic attributes and improvement of generated code, Proceedings of the 1974 annual conference, p.1-10, January 1974 [doi>10.1145/800182.810373]
	31	RJ4IHJ/,, K.-J. Bibliography on attribute grammars. SIGPLAN Notices (ACM) 15, 3 (Mar. 1980), 35-44.
	32	Kari-Jouko Räihä, Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars, Proceedings of the 1979 SIGPLAN symposium on Compiler construction, p.26-38, August 06-10, 1979, Denver, Colorado, United States
	33	RJ/,IHJ4, K.-J., SAARINEN, M., SOISALON-SOININEN, E., AND TIENARI, M. The compiler writing system HLP (Helsinki Language Processor). Rep. A-1978-2, Dept. of Computer Science, Univ. of Helsinki, Helsinki, Finland, Mar. 1978.
	34	Thomas Reps, Generating Language-Based Environments, Cornell University, Ithaca, NY, 1982
	35	Thomas Reps, Optimal-time incremental semantic analysis for syntax-directed editors, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.169-176, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582172]
	36	R}~PS, T. The Synthesizer Editor Generator: Reference manual. Dept. of Computer Science, Cornell Univ., Ithaca, N.Y., Sept. 1981.
	37	Waldean Allen Schulz, Semantic analysis and target language synthesis in a translator., 1976
	38	Tim Teitelbaum , Thomas Reps, The Cornell program synthesizer: a syntax-directed programming environment, Communications of the ACM, v.24 n.9, p.563-573, Sept. 1981 [doi>10.1145/358746.358755]
	39	Thomas R. Wilcox , Alan M. Davis , Michael H. Tindall, The design and implementation of a table driven, interactive diagnostic programming system, Communications of the ACM, v.19 n.11, p.609-616, Nov. 1976 [doi>10.1145/360363.360367]
	40	Wayne Theodore Wilner, Declarative semantic definition as illustrated by a definition of simula 67, 1971
	41	YONKE, M.D. A knowledgeable, language-independent system for program construction and modification. Res. Rep. ISI/RR-75-42, Information Sciences Institute, Univ. of Southern Calffornia, Los Angeles, Calif., Oct. 1975.