Mint: Java multi-stage programming using weak separability

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2010, Pages 400-411

  Westbrook, Edwin ^a   Ricken, Mathias ^a   Inoue, Jun ^a   Yao, Yilong ^a   Abdelatif, Tamer ^a,b   Taha, Walid ^a  

^a RICE UNIVERSITY   (United States)

^b AIN SHAMS UNIVERSITY   (Egypt)

Author keywords

java; multi stage programming; multi staged languages; type systems

Indexed keywords

COMPUTATIONAL EFFECTS; DESIGN SPACES; FREE VARIABLE; IMPERATIVE FEATURES; JAVA PROGRAM; MULTI-STAGE PROGRAMMING; NEW APPROACHES; PERFORMANCE PENALTIES; RUN-TIME CODE GENERATION; SWEET SPOT; TYPE SYSTEMS;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; DESIGN; LINGUISTICS; MINTS; QUERY LANGUAGES;

JAVA PROGRAMMING LANGUAGE;

EID: 77954748930     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806596.1806642     Document Type: Conference Paper

References (30)

1. Baris Aktemur. Type Checking Program Generators Using the Record Calculus, 2009. http://loome.cs.uiuc.edu/pubs/transformationForTyping.pdf.
2. Davide Ancona and Eugenio Moggi. A fresh calculus for name management. In GPCE '04: Proceedings of the 3rd International Conference on Generative Programming and Component Engineering, volume 3286, pages 206-224, 2004.
3. Cristiano Calcagno, Eugenio Moggi, and Walid Taha. Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. In ICALP '00: Proceedings of the 27th International Colloquium on Automata, Languages and Programming, pages 25-36, 2000.
4. Cristiano Calcagno, Eugenio Moggi, and Walid Taha. ML-like inference for classifiers. In ESOP '04: Proceedings of the 13th European Symposium on Programming, pages 79-93, 2004.
5. Cristiano Calcagno,Walid Taha, Liwen Huang, and Xavier Leroy. Implementing multi-stage languages using asts, gensym, and reflection. In GPCE '03: Proceedings of the 2nd International Conference on Generative Programming and Component Engineering, pages 57-76, New York, NY, USA, 2003. Springer-Verlag New York, Inc.
6. Tim Davis and Yifan Hu. The University of Florida Sparse Matrix Collection. http://www.cise.ufl.edu/research/sparse/matrices/Pajek/Tina DisCal.html.
7. Manuel Fähndrich, Michael Carbin, and James R. Larus. Reflective program generation with patterns. In GPCE '06: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, pages 275-284, 2006.
8. Habanero Multicore Software Research Project. http://habanero.rice.edu.
9. Shan Shan Huang and Yannis Smaragdakis. Expressive and safe static reflection with MorphJ. In PLDI '08: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 79-89, 2008.
10. Shan Shan Huang, David Zook, and Yannis Smaragdakis. Statically safe program generation with safegen. In GPCE '04: Proceedings of the 3rd International Conference on Generative Programming and Component Engineering, pages 309-326, 2005.
11. Yukiyoshi Kameyama, Oleg Kiselyov, and Chung chieh Shan. Closing the stage: from staged code to typed closures. In PEPM '08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, pages 147-157, 2008.
12. Yukiyoshi Kameyama, Oleg Kiselyov, and Chung chieh Shan. Shifting the stage: Staging with delimited control. In PEPM '09: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 111-120, 2009.
13. Sam Kamin, Lars Clausen, and Ava Jarvis. Jumbo: Run-time code generation for Java and its applications. In CGO '03: Proceedings of the International Symposium on Code Generation and Optimization, pages 48-56, 2003.
14. Ik-Soon Kim, Kwangkeun Yi, and Cristiano Calcagno. A polymorphic modal type system for lisp-like multi-staged languages. In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 257-268, New York, NY, USA, 2006. ACM.
15. Gregory Neverov and Paul Roe. Metaphor: A Multi-stage, Object-Oriented Programming Language. In GPCE '04: Proceedings of the 3rd International Conference on Generative Programming and Component Engineering, pages 168-185, 2004.
16. Yutaka Oiwa, Hidehiko Masuhara, and Akinori Yonezawa. DynJava: Type safe dynamic code generation in Java. In PPL '01: Proceedings of the 3rd JSSST Workshop on Programming and Programming Languages, March 2001.
17. OpenJDK Project. http://openjdk.java.net.
18. Rice PLT. Mint Multi-stage Java Compiler. Available at http://www.javamint.org.
19. Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, and M. Frans Kaashoek. C and tcc: a language and compiler for dynamic code generation. ACM Transactions on Programming Languages and Systems, 21(2):324-369, 1999.
20. U.P. Schultz and J.L. Lawall C. Consel. Automatic Program Specialization for Java. ACM Transactions on Programming Languages and Systems, 25(4):452-499, 2003.
21. Peter Sestoft. Runtime code generation with JVM and CLR. Available at http://www.dina.dk/sestoft/publications.html, 2002.
22. Jun Shirako, Hironori Kasahara, and Vivek Sarkar. Language extensions in support of compiler parallelization. In Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers, pages 78-94, Berlin, Heidelberg, 2008. Springer-Verlag.
23. Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, and Trevor Jim. Compiling for template-based run-time code generation. Journal of Functional Programming, 13(3):677-708, 2003.
24. SoyLatte Project. http://landonf.bikemonkey.org/static/soylatte/.
25. Rok Strniša, Peter Sewell, and Matthew Parkinson. The Java module system: Core design and semantic definition. In OOPSLA '07: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object Oriented Programming Systems and Applications, pages 499-514, 2007.
26. Walid Taha. A gentle introduction to multi-stage programming. In DSPG '03: Proceedings of the International Seminar on Domain-Specific Program Generation, 2003.
27. Walid Taha, Zine el-abidine Benaissa, and Tim Sheard. Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract). In ICALP'98: 25th International Colloquium on Automata, Languages, and Programming, pages 918-929, 1998.
28. Walid Taha and Michael Florentin Nielsen. Environment classifiers. In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 26-37, New York, NY, USA, 2003. ACM.
29. Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, and Walid Taha. Multi-stage Programming for Mainstream Languages. Technical Report TR09-02, Rice University, 2009.
30. David Zook, Shan Shan Huang, and Yannis Smaragdakis. Generating AspectJ Programs with Meta-AspectJ. In GPCE '04: Proceedings of the 3rd International Conference on Generative Programming and Component Engineering, pages 1-18, 2004.