Generating editing environments based on relations and attributes

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 8, Issue 4, 1986, Pages 577-608

  Horwitz, Susan ^a   Teitelbaum, Tim ^b  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

^b Department of Obstetrics Gynecology   (United States)

Author keywords

Attribute grammar; generating language based editors; incremental view updating; relational database

Indexed keywords

AUTOMATA THEORY - FORMAL LANGUAGES; DATABASE SYSTEMS - RELATIONAL;

COMPUTER PROGRAMMING ENVIRONMENT;

COMPUTER SOFTWARE;

EID: 0022795276     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/6465.6512     Document Type: Article

References (27)

1. Aho, A. V., and Ullman, J. D. Universality of data retrieval languages. In Conference Record of the 6th Annual ACM Symposium on Principles of Programming Languages (San Antonio, Tex., Jan. 1979), ACM, New York, 110–120.
2. Beshers, G., and Campbell, R. Maintained and constructor attributes. In Proceedings of the SIGPLAN 85 Symposium on Language Issues in Programming Environments (Seattle, Wash., June 1985), ACM, New York, 93–106.
3. Chandra, A. K. Programming primitives for database languages. In Conference Record of the 8th Annual ACM Symposium on Principles of Programming Languages (Williamsburg, Va., Jan. 1981), ACM, New York, 50–62.
4. Clocksin, W. F., and Mellish, C. S. Programming in Prolog. Springer-Verlag, New York, 1981.
5. Codd, E. F. A relational model of data for large shared data banks. Commun. ACM 13, 6 (June 1970), 377-387.
6. Demers, A., Rogers, A., and Zadeck, F. K. Attribute propagation by message passing. In Proceedings of the SIGPLAN 85 Symposium on Language Issues in Programming Environments (Seattle, Wash., June 1985), ACM, New York, 43-59.
7. Donzeau-Gouge, V., Huet, G., Kahn, G., and Lang, B. Programming environments based on structured editors: The MENTOR experience. INRIA Rapports de Recherche 26 (July 1980).
8. Freudenberger, S. On the use of global optimization algorithms for the detection of semantic programming errors. Ph.D. thesis, Courant Institute of Mathematical Sciences, New York, 1984.
9. Gillett, W. D. Iterative global flow techniques for detecting program anomalies. Ph.D. thesis, Univ. of Illinois at Urbana-Champaign, Jan. 1977.
10. Horwitz, S. Generating language-based editors: A relationally-attributed approach. Ph.D. thesis, Cornell Univ., Aug. 1985.
11. Johnson, G. An approach to incremental semantics. Ph.D. thesis, Univ. of Wisconsin-Madison, 1983.
12. Kastens, U. Ordered attribute grammars. Acta Inf. 13, 3 (1980), 229-256.
13. Knuth, D. E. Semantics of context-free languages. Math. Syst. Theor. 2, 2 (June 1968), 127-145.
14. Knuth, D. E. Correction. Math. Syst. Theor. 5, 1 (Mar. 1971), 95-96.
15. Koenig, S., and Paige, R. A transformational framework for the automatic control of derived data. In Proceedings of the 7th International Conference on Very Large Data Bases (Cannes, France, Sept. 1981), 306-318.
16. Linton, M. A. Implementing relational views of programs. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Pittsburgh, Pa., Apr. 1984), ACM, New York, 132-140.
17. Masinter, L. M. Global program analysis in an interactive environment. Ph.D. thesis, Stanford Univ., Jan. 1980.
18. Osterweil, L. J., and Fosdick, L. D. DAVE—A validation error detection and documentation system for FORTRAN programs. Softw. Pract. Exper. 6 (1976), 473-486.
19. Raiha, K., and Saarinen, J. Testing attribute grammars for circularity. Acta Inf. 17,2 (June 1982), 185-192.
20. Reiss, S. Graphical program development with PECAN program development system. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Pittsburgh, Pa., Apr. 1984), ACM, New York, 42-48.
21. Reps, T. Generating Language-Based Environments. MIT Press, Cambridge, Mass., 1984.
22. Reps, T., and Teitelbaum, T. The Synthesizer Generator. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Pittsburgh, Pa., Apr. 1984), ACM, New York, 42-48.
23. Reps, T., Marceau, C., and Teitelbaum, T. Remote attribute updating for language-based editors, in Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages (St. Petersburg, Fla., Jan. 1986), ACM, New York, 1-13.
24. Shmueli, O., and Itai, A. Maintenance of views. In Proceedings ACM SIGMOD (Boston, 1984), ACM, New York, 240-255.
25. Snodgrass, R. Monitoring in a software development environment: A relational approach. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Pittsburgh, Pa., Apr. 1984), ACM, New York, 124-131.
26. Stonebraker, M., Wong, E., and Kreps, P. The design and implementation of INGRES. ACM Trans. Database Syst. 1, 3 (Sept. 1976), 189-222.
27. Tarjan, R. E. Data Structures and Network Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, Pa., 1983.