Metaphor: A multi-stage, object-oriented programming language

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

Volumn 3286, Issue , 2004, Pages 168-185

  Neverov, Gregory ^a   Roe, Paul ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; JAVA PROGRAMMING LANGUAGE; PROGRAM COMPILERS;

CODE GENERATION; COMMON LANGUAGE RUNTIME; FORMAL DESCRIPTION; OBJECT-ORIENTED ENVIRONMENT; OBJECT-ORIENTED FRAMEWORKS; PROTOTYPE IMPLEMENTATIONS; STATIC TYPE CHECKING; TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 33646134297     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30175-2_9     Document Type: Article

References (20)

1. Taha, W., Sheard, T.: Multi-stage programming with explicit annotations. In: Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997, New York: ACM (1997) 203-217
2. Taha, W.: Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology (1999)
3. Sheard, T.: Accomplishments and research challenges in meta-programming. In Taha, W., ed.: Proceedings of the Workshop on Semantics, Applications and Implementation of Program Generation (SAIG'01). (2001) Invited talk.
4. Sheard, T., Benaissa, Z., Martel, M.: Introduction to multi-stage programming using MetaML. Technical report, Pacific Software Research Center, Oregon Graduate Institute (2000)
5. Jansson, P., Jeuring, J.: PolyP - A polytypic programming language extension. In: ACM Symposium on Principles of Programming Languages, POPL'97, Paris, France, 15-17 Jan 1997, New York, ACM Press (1997) 470-482
6. Hinze, R., Peyton Jones, S.: Derivable type classes. In Hutton, G., ed.: Haskell Workshop, Montreal, Canada (2000)
7. Cheney, J., Hinze, R.: A lightweight implementation of Generics and Dynamics. In: Haskell'02, Pittsburgh, Pennsylvania, USA (2002)
8. Sheard, T., Benaissa, Z., Pasalic, E.: DSL implementation using staging and monads. In: Domain-Specific Languages. (1999) 81-94
9. Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In Meissner, L., ed.: Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'99). Volume 34(10)., N. Y. (1999) 132-146
10. Kennedy, A., Syme, D.: Transposing F to C#. In: Proceedings of Workshop on Formal Techniques for Java-like Programs, Malaga, Spain. (2002)
11. Calcagno, C., Moggi, E., Taha, W.: Closed types as a simple approach to safe imperative multi-stage programming. In: Automata, Languages and Programming. (2000) 25-36
12. Taha, W., Nielsen, M.F.: Environment classifiers. In: Proceedings of the 30th ACM Symposium on Principles of Programming Languages (POPL'03), New Orleans, Louisiana, ACM Press, New York (NY), USA (2003)
13. Calcagno, C., Moggi, E., Taha, W.: ML-like inference for classifiers. In: Proceedings of the European Symposium on Programming (ESOP 2004). LNCS, Springer-Verlag (2004)
14. Sheard, T., Peyton Jones, S.: Template metaprogramming for Haskell. In Chakravarty, M., ed.: ACM SIGPLAN Haskell Workshop 02, ACM Press (2002) 1-16
15. Calcagno, C., Taha, W., Huang, L., Leroy, X.: Implementing multi-stage languages using ASTs, Gensym, and Reflection. In: Generative Programming and Component Engineering. (2003)
16. Engler, D.R., Hsieh, W.C., Kaashoek, M.F.: C: A language for high-level, efficient, and machine-independent dynamic code generation. In: Symposium on Principles of Programming Languages. (1996) 131-144
17. Hornof, L., Jim, T.: Certifying compilation and run-time code generation. In: Partial Evaluation and Semantic-Based Program Manipulation. (1999) 60-74
18. Jim, T., Morrisett, G., Grossman, D., Hicks, M., Cheney, J., Wang, Y.: Cyclone: A safe dialect of C. In: USENIX Annual Technical Conference, Monterey, CA, June 2002. (2002)
19. Oiwa, Y., Masuhara, H., Yonezawa, A.: DynJava: Type safe dynamic code generation in Java. In: JSST Workshop on Programming and Programming Languages, Tokyo (2001)
20. Attardi, G., Cisternino, A., Kennedy, A.: CodeBricks: Code fragments as building blocks. In: ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation. (2003)