From macros to reusable generative programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1799, Issue , 2000, Pages 105-120

  Krishnamurthi, Shriram ^a   Felleisen, Matthias ^a   Duba, Bruce F ^b  

^a Rice University   (United States)

^b SEATTLE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; MACROS; SOFTWARE ENGINEERING; SPECIFICATIONS;

DOMAIN SPECIFIC; GENERATIVE PROGRAMMING; LANGUAGE SPECIFICATION; PROGRAMMING ENVIRONMENT;

COMPUTATIONAL LINGUISTICS;

EID: 84959064112     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40048-6_9     Document Type: Conference Paper

References (35)

1. Batory, D., B. Lofaso and Y. Smaragdakis. JTS: Tools for implementing domain-specific languages. In International Conference on Software Reuse, June 1998.
2. Batory, D. and S. O’Malley. The design and implementation of hierarchical software systems with reusable components. ACM Transactions on Software Engineering and Methodology, 1(4): 355-398, October 1992.
3. Bracha, G. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. PhD thesis, University of Utah, March 1992.
4. Cardelli, L., F. Matthes and M. Abadi. Extensible syntax with lexical scoping. Research Report 121, Digital SRC, 1994.
5. Christensen, C. and C. J. Shaw, editors. Proceedings of the Extensible Languages Symposium. Association for Computing Machinery, 1969. Appeared as SIGPLAN Notices, 4(8): 1-62, August 1969.
6. Christiansen, H. A survey of adaptable grammars. ACM SIGPLAN Notices, 25(11): 35-44, November 1990.
7. Clinger, W. D. Proper tail recursion and space efficiency. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 174-185, June 1998.
8. Czarnecki, K. and U. Eisenecker. Generative Programming: Methods, Techniques, and Applications. Addison-Wesley, 1999.
9. Dybvig, R. K., D. P. Friedman and C. T. Haynes. Expansion-passing style: A general macro mechanism. Lisp and Symbolic Computation, 1(1): 53-75, January 1988.
10. Dybvig, R. K., R. Hieb and C. Bruggeman. Syntactic abstraction in Scheme. Lisp and Symbolic Computation, 5(4): 295-326, December 1993.
11. Fairbairn, J. Making form follow function: An exercise in functional programming style. Software Practice and Experience, 17(6): 379-386, June 1987.
12. Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. Dr Scheme: A pedagogic programming environment for Scheme. In Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs, pages 369-388, 1997.
13. Flanagan, C., M. Flatt, S. Krishnamurthi, S. Weirich and M. Felleisen. Catching bugs in the web of program invariants. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 23-32, May 1996.
14. Flatt, M. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997.
15. Flatt, M., S. Krishnamurthi and M. Felleisen. Classes and mixins. In Symposium on Principles of Programming Languages, pages 171-183, January 1998.
16. Gamma, E., R. Helm, R. Johnson and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Personal Computing Series. Addison-Wesley, Reading, MA, 1995.
17. Hudak, P. Modular domain specific languages and tools. In International Conference on Software Reuse, 1998.
18. Hudak, P., S. Peyton Jones and P. Wadler. Report on the programming language Haskell: a non-strict, purely functional language. ACM SIGPLAN Notices, 27(5), May 1992. Version 1.2.
19. Johnson, S. C. YACC yet another compiler compiler. Computing Science Technical Report 32, AT&T Bell Laboratories, Murray Hill, NJ, USA, 1975.
20. Kamin, S. and D. Hyatt. A special-purpose language for picture-drawing. In USENIX Conference on Domain-Specific Languages, 1997.
21. 5 report on the algorithmic language Scheme. ACM SIGPLAN Notices, 33(9), October 1998.
22. Kernighan, B. W. and D. M. Ritchie. The C Programming Language. Prentice-Hall, 1988.
23. Kohlbecker, E. E., D. P. Friedman, M. Felleisen and B. F. Duba. Hygienic macro expansion. In ACM Symposium on Lisp and Functional Programming, pages 151-161, 1986.
24. Kohlbecker, E. E. and M. Wand. Macros-by-example: Deriving syntactic transformations from their specifications. In Symposium on Principles of Programming Languages, pages 77-84, 1987.
25. Kohlbecker Jr, E. E. Syntactic Extensions in the Programming Language Lisp. PhD thesis, Indiana University, August 1986.
26. Krishnamurthi, S., Y.-D. Erlich and M. Felleisen. Expressing structural properties as language constructs. In European Symposium on Programming, March 1999.
27. Krishnamurthi, S., M. Felleisen and D. P. Friedman. Synthesizing object-oriented and functional design to promote re-use. In European Conference on Object-Oriented Programming, pages 91-113, July 1998.
28. Lieberherr, K. J. Adaptive Object-Oriented Programming. PWS Publishing, Boston, MA, USA, 1996.
29. McIlroy, M. D. Macro instruction extensions of compiler languages. Communications of the ACM, 3(4): 214-220, 1960.
30. Milner, R., M. Tofte and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990.
31. Moggi, E. An abstract view of programming languages. Technical Report ECSLFCS-90-113, Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, Scotland, 1990.
32. Smaragdakis, Y. and D. Batory. Implementing layered designs and mixin layers. In European Conference on Object-Oriented Programming, pages 550-570, July 1998.
33. Steele, G. L., Jr., editor. Common Lisp: the Language. Digital Press, Bedford, MA, second edition, 1990.
34. Taha, W. and T. Sheard. Multi-stage programming with explicit annotations. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 203-217, 1997.
35. Wadler, P. The essence of functional programming. In Symposium on Principles of Programming Languages, pages 1-14, January 1992.