Grammar-Based Definition of Metaprogramming Systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 6, Issue 1, 1984, Pages 20-54

  Cameron, Robert D ^a   Ito, M Robert ^b  

^a SIMON FRASER UNIVERSITY   (Canada)

^b UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Grammar based processing; metaprogram; metaprogramming system; program improvement; program manipulation

Indexed keywords

EID: 84976683239     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/357233.357235     Document Type: Article

References (39)

1. ARSAC, J.J. Syntactic source to source transforms and program manipulation. Commun. ACM 22, 1 (Jan. 1979), 43-54.
2. AUSLANDER, M.A., AND STRONG, H.R. Systematic recursion removal. Commun. ACM 21, 2 (Feb. 1978), 127-134.
3. BALZER, R. Transformational implementation: an example. IEEE Trans. Softw. Eng. 7, 1 (Jan. 1981), 3-14.
4. BOYLE, J.M., DRITZ K.W., ARUSHANIAN, O.B., AND KUCHEVSKIY, Y.V. Program generation and transformation--Tools for mathematical software development. In Information Processing 77, B. Gilchrist, Ed. Elsevier North-Holland, New York, 1977, pp. 303-308.
5. BOYLE, J.M., AND MATZ, M. Automating multiple program realizations. In Proceedings of the Symposium on Computer Software Engineering, J. Fox, Ed. Polytechnic Press, New York, April, 1976, pp. 421-456.
6. BROY, M., AND PEPPER, P. Program development as a formal activity. IEEE Trans. Softw. Eng. 7, 1 (Jan. 1981), 14-22.
7. BURSTALL, R.M., AND DARLINGTON, J. A transformation system for developing recursive programs. J. ACM 24, 1 (Jan. 1977), 44-67.
8. CHATELIN, P. Self-redefinition as a program manipulation strategy. SIGPLAN Not. (ACM) 12, 8 (Aug. 1977), 174-179.
9. CHUSHO, T. A good program = a structured program + optimization commands. In Information Processing 80, S.H. Lavington, Ed. Elsevier North-Holland, New York, 1980, pp. 269-274.
10. DARLINGTON, J. Program transformation and synthesis: present capabilities. Res. Rep. 48, Dep. of Artificial Intelligence, Univ. of Edinburgh, Edinburgh, Scotland, Sept. 1977.
11. DARLINGTON, J. An experimental program transformation and synthesis system. Artif. InteU. 16, 1 (Mar.1981), 1-46.
12. DARLINGTON, J. AND BURSTALL, R.M. A system which automatically improves programs. Acta Inf. 6, 1 (Jan. 1976), 41-60.
13. DARLINGTON, J., AND FEATHER, M.S. A transformational approach to modification. Res. Rep., Dep. of Artificial Intelligence, Univ. of Edinburgh, Edinburgh, Scotland, Feb. 1979.
14. DONALDSON, J.L., LANCASTER, A., AND SPOSATO, P.H. A plagiarism detection system. SIGCSE Bull. (ACM) 13, 1 (Feb. 1981), 21-25.
15. FEATHER, M.S. Program transformation applied to the telegram problem. Res. Rep. 47, Dep. of Artificial Intelligence, Univ. of Edinburgh, Edinburgh, Scotland, Nov. 1977.
16. FEATHER, M.S. A system for assisting program transformation. ACM Trans. on Program. Lang. Syst. 4, 1 (Jan. 1982), 1-20.
17. GERHART, S.L. Correctness-preserving program transformations. In Conference Record of the 2nd ACM Symposium on the Principles of Programming Languages, (Palo Alto, Calif., Jan. 20-22), New York, 1975, pp. 54-66.
18. GRIER, S. A tool that detects plagiarism in PASCAL programs. SIGCSE Bull. 13, 1 (Feb. 1981), 15-20.
19. HARALDSSON, A. A program manipulation system based on partial evaluation. Ph.D. dissertation, Dep. of Mathematics, Uppsala Univ., Uppsala, Sweden, 1977.
20. HARALDSSON, A. Experiences from a program manipulation system. Res. Rep. 80-24, Informatics Laboratory, Linkoping Univ., Linkoping, Sweden, July 1980.
21. HUET, G., AND LANG, B. Proving and applying program transformations expressed with secondorder patterns. Acta Inf. 11, 1 (1978), 31-55.
22. KIBLER, D.F., NEIGHBORS, J.M., AND STANDISH, T.A. Program manipulation via an efficient production system. SIGPLAN Not. 12, 8 (Aug. 1977), 163-173.
23. KNUTH, D.E. Structured programming with go to statements. ACM Comput. Surv. 6, 4 (Dec. 1974), 261-301.
24. LOVEMAN, D.B. Program improvement by source-to-source transformation. J. ACM 24, 1 (Jan. 1977), 121-145.
25. MILNE, R., AND STRACHEY, C. A Theory of Programming Language Semantics, Chapman and Hall, London, 1976.
26. MORRIS, J.M., AND SCHWARTZ, M.D. The design of a language-directed editor for block-structured languages. SIGPLAN Not. 16, 6 (June 1981), 28-33.
27. OPPEN, D.C. Prettyprinting. ACM Trans. Program. Lang. Syst. 2, 4 (July 1980), 465-483.
28. SANDEWALL, E. Programming in an interactive environment: the Lisp experience. ACM Comput. Surv. 10, 1 (March 1978), 35-71.
29. STANDISH, T.A., HARRIMAN, D.C., KIBLER, D.F., AND NEIGHBORS, J.M. The Irvine Program Transformation Catalogue. Tech. Rep., Department of Information and Computer Science, Univ. of California at Irvine, Irvine, Calif., Jan. 1976.
30. STANDISH, T.A., KIBLER, D.F., AND NEIGHBORS, J.M. Improving and refining programs by program manipulation. In Proceedings of the ACM Annual Conference (Houston, Tex., Oct. 20-22), New York, Oct. 1976, pp. 509-516.
31. STEELE, B.S.K. An accountable source-to-source transformation system. Master's thesis, Dep. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Mass., July 1980.
32. TEITELBAUM, T., REPS, T., AND HORWITZ, S. The why and wherefore of the Cornel] Program Synthesizer. SIGPLAN Not. 16, 6 (June 1981), 8-16.
33. VAN DEN BOSCH, P.N. The Translation of Programming Languages Through the Use of a Graph Transformation Language. Ph.D. dissertation, Dept. of Computer Science, Univ. of British Columbia, Vancouver, B.C., Canada, Feb. 1981.
34. WAND, M. Continuation-based program transformation strategies. J. ACM 27, 1 (Jan. 1980), 164-180.
35. WEGBRERR, B. Goal-directed program transformation. IEEE Trans. Softw. Eng. 2, 2 (June 1976), 69-80.
36. WEINBERG, G.M. The psychology of improved programming performance. Datamation 18, 11, Nov. 1972), 82-85.
37. WILE, D.S. POPART: producer of parsers and related tools-system builders’ manual. Tech. Rep., Information Sciences Institute, Univ. of Southern California, Los Angeles, Calif., Oct. 1981.
38. WILE, D.S. Program developments: formal explanation of implementations. Tech. Rep., Information Sciences Institute, University of Southern California, Los Angeles, Calif., June 1982.
39. WILE, D.S. Private communication. July 1982.