External Links

Cite Key

Statistics

  • References: 39
  • Cited by: 11
  • Reviews: 0
  • Bibliographies: 2

PDF

Tags

Bibliographies

    Researchr

    Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

    Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

    Grammar-Based Definition of Metaprogramming Systems

    Robert D. Cameron, Mabo Robert Ito. Grammar-Based Definition of Metaprogramming Systems. ACM Transactions on Programming Languages and Systems, 6(1):20-54, 1984. [doi]

    References

    • 19 HARALOSSON, A. A program manipulation system based on partial evaluation. Ph.D. dissertation, Dep. of Mathematics, Uppsala Univ., Uppsala, Sweden, 1977.
    • 2 M. A. Auslander , H. R. Strong, Systematic recursion removal, Communications of the ACM, v.21 n.2, p.127-134, Feb. 1978 [doi>10.1145/359340.359344]
    • 12 DARLINGTON, J. AND BURSTALL, R.M. A system which automatically improves programs. Acta Inf. 6, 1 (Jan. 1976), 41-60.
    • 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.
    • 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.
    • 8 Philippe Chatelin, Self-redefinition as a program manipulation strategy, Proceedings of the 1977 symposium on Artificial intelligence and programming languages, p.174-179, August 15-17, 1977 [doi>10.1145/800228.806947]
    • 17 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]
    • 36 Gerald M. Weinberg, The Psychology of Computer Programming, John Wiley & Sons, Inc., New York, NY, 1985
    • 23 Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974 [doi>10.1145/356635.356640]
    • 6 BROY, M., AND PEPPER, P. Program development as a formal activity. IEEE Trans. Softw. Eng. 7, I (Jan. 1981), 14-22.
    • 11 DARLINCTON, J. An experimental program transformation and synthesis system. Artif Intell. 16, i (Mar.1981), 1-46.
    • 35 WEGBREIT, B. Goal-directed program transformation. IEEE Trans. Softw. Eng. 2, 2 (June 1976), 69-80.
    • 18 Sam Grier, A tool that detects plagiarism in Pascal programs, ACM SIGCSE Bulletin, v.13 n.1, p.15-20, February 1981 [doi>10.1145/953049.800954]
    • 25 MINCE, R., AND STRACHEY, C. A Theory of Programming Language Semantics, Chapman and Hall, London, 1976.
    • 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.
    • 14 John L. Donaldson , Ann-Marie Lancaster , Paula H. Sposato, A plagiarism detection system, Proceedings of the twelfth SIGCSE technical symposium on Computer science education, p.21-25, February 26-27, 1981, St. Louis, Missouri, United States [doi>10.1145/800037.800955]
    • 28 Erik Sandewall, Programming in an Interactive Environment: the ``Lisp'' Experience, ACM Computing Surveys (CSUR), v.10 n.1, p.35-71, March 1978 [doi>10.1145/356715.356719]
    • 20 HARALOSSO~, A. Experiences from a program manipulation system. Res. Rep. 80-24, Informatics Laboratory, Linkoping Univ., Linkoping, Sweden, July 1980.
    • 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.
    • 39 Wile, D.S. Private communication. July 1982.
    • 24 David B. Loveman, Program Improvement by Source-to-Source Transformation, Journal of the ACM (JACM), v.24 n.1, p.121-145, Jan. 1977 [doi>10.1145/321992.322000]
    • 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.
    • 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.
    • 10 DARLINGTON, J. Program transformation and synthesis: present capabilities. Res. Rep. 48, Dep. of Artificial Intelligence, Univ. of Edinburgh, Edinburgh, Scotland, Sept. 1977.
    • 33 Peter Nico Van Den Bosch, The translation of programming languages through the use of a graph transformation language, 1981
    • 7 R. M. Burstall , John Darlington, A Transformation System for Developing Recursive Programs, Journal of the ACM (JACM), v.24 n.1, p.44-67, Jan. 1977 [doi>10.1145/321992.321996]
    • 21 HUET, G., AND LANG, B. Proving and applying program transformations expressed with secondorder patterns. Acta Inf. 11, I (1978), 31-55.
    • 16 Martin S. Feather, A System for Assisting Program Transformation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.1-20, Jan. 1982 [doi>10.1145/357153.357154]
    • 3 BALZER, R. Transformational implementation: an example. IEEE Trans. Softw. Eng. 7, 1 (Jan. 1981), 3-14.
    • 27 Dereck C. Oppen, Prettyprinting, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.4, p.465-483, Oct. 1980 [doi>10.1145/357114.357115]
    • 32 Tim Teitelbaum , Thomas Reps , Susan Horwitz, The why and wherefore of the Cornell Program Synthesizer, ACM SIGPLAN Notices, v.16 n.6, p.8-16, June 1981 [doi>10.1145/872730.806448]
    • 22 D. F. Kibler , J. M. Neighbors , T. A. Standish, Program manipulation via an efficient production system, ACM SIGPLAN Notices, v.12 n.8, p.163-173, August 1977 [doi>10.1145/872734.806946]
    • Jacques J. Arsac, Syntactic source to source transforms and program manipulation, Communications of the ACM, v.22 n.1, p.43-54, Jan. 1979 [doi>10.1145/359046.359057]
    • 38 WILE, D.S. Program developments: formal explanation of implementations. Tech. Rep., Information Sciences Institute, University of Southern California, Los Angeles, Calif., June 1982.
    • 30 Thomas A. Standish , Dennis F. Kibler , James M. Neighbors, Improving and refining programs by program manipulation, Proceedings of the annual conference, p.509-516, October 20-22, 1976, Houston, Texas, United States [doi>10.1145/800191.805652]
    • 5 BOYLE, J.M., A~D 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.
    • 34 Mitchell Wand, Continuation-Based Program Transformation Strategies, Journal of the ACM (JACM), v.27 n.1, p.164-180, Jan. 1980 [doi>10.1145/322169.322183]
    • 29 STANDISH, T.A., HARRIMAN, D.C., KIBLER, D.F., AND NEIGHBORS, J.M. The lrvine Program Transformation Catalogue. Tech. Rep., Department of Information and Computer Science, Univ. of California at Irvine, Irvine, Calif., Jan. 1976.
    • 26 Joseph M. Morris , Mayer D. Schwartz, The design of a language-directed editor for block-structured languages, ACM SIGPLAN Notices, v.16 n.6, p.28-33, June 1981 [doi>10.1145/872730.806451]

    Cited by

    • Bent Bruun Kristensen , Ole Lehrmann Madsen , Birger Møller-Pedersen , Kristen Nygaard, An algebra for program fragments, ACM SIGPLAN Notices, v.18 n.6, p.161-170, June 1983
    • Eduardus A. T. Merks , J. Michael Dyck , Robert D. Cameron, Language Design for Program Manipulation, IEEE Transactions on Software Engineering, v.18 n.1, p.19-32, January 1992
    • Amitava Datta , Prabhaker Mateti, Automating the re-declaration of unneeded globals as private, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, p.87-94, February 14-16, 1993, Indianapolis, Indiana, United States
    • V. Donzeau-Gouge , G. Kahn , B. Lang , B. Mélèse, Document structure and modularity in mentor, ACM SIGPLAN Notices, v.19 n.5, p.141-148, May 1984
    • Kyu-Young Whang , Art Ammann , Anthony Bolmarcich , Maria Hanrahan , Guy Hochgesang , Kuan-Tsae Huang , Al Khorasani , Ravi Krishnamurthy , Gary Sockut , Paula Sweeney ,
    • Bernhard Westfechtel, Structure-oriented merging of revisions of software documents, Proceedings of the 3rd international workshop on Software configuration management, p.68-79, June 12-14, 1991, Trondheim, Norway
    • Bill Donkervoet , Gul Agha, Reflecting on aspect-oriented programming, metaprogramming, and adaptive distributed monitoring, Proceedings of the 5th international conference on Formal methods for components and objects, November 07-10, 2006, Amsterdam, The Netherlands
    • Karl Lieberherr , Boaz Patt-Shamir , Doug Orleans, Traversals of object structures: Specification and Efficient Implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.2, p.370-412, March 2004
    • Vance Waddle , Moshé Zloof, Office-by-example: an integrated office system and database manager, ACM Transactions on Information Systems (TOIS), v.5 n.4, p.393-427, Oct. 1987 Robert D. Cameron, An Abstract Pretty Printer, IEEE Software, v.5 n.6, p.61-67, November 1988
    • Premkumar T. Devanbu, GENOA: a customizable language- and front-end independent code analyzer, Proceedings of the 14th international conference on Software engineering, p.307-317, May 11-15, 1992, Melbourne, Australia
    runs on