Multistage programming support in CLI

IEE Proceedings: Software

Volumn 150, Issue 5, 2003, Pages 275-281

  Attardi, G ^a   Cisternino, A ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING; PROGRAM COMPILERS;

COMMON LANGUAGE INFRASTRUCTURE (CLI); MULTISTAGE PROGRAMMING;

COMPUTER PROGRAMMING;

EID: 0344494795     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20030990     Document Type: Conference Paper

References (17)

1. Taha, W., and Sheard, T.: 'Multi-stage programming with explicit annotations'. Proc. ACM SIGPLAN Symp. on Partial Evaluation and Semantic Based Program Manipulations (PEPM)', Amsterdam, 12-13 July 1997, pp. 203-217
2. Steele, G.L.: 'Common Lisp: the Language' (Digital Press, Woburn, MA, 1990, 2nd edn.)
3. Calcagno, C., Taha, W., Huang, L., and Leroy, X.: 'Implementing multi-stage languages using ASTs, Gensym, and Reflection', Lect. Notes Comput. Sci., 2830
4. Taha, W.; 'Multistage programming: its theory and applications'. PhD thesis, Oregon Graduate Institute of Science and Technology, Available at ftp://cse.ogi.edu/pub/tech-reports/1999/99-TH-002.ps.gz, accessed October 2003
5. ECMA 335, 'Common language infrastructure (CLI)', http://www. ecma.ch/ecma1/STAND/ecma-335.htm, accessed October 2003
6. Lindhohn, T., and Yellin F.: 'The Java™ Virtual Machine Specification' (Addison-Wesley, Reading, MA, 1999, 2nd edn.)
7. Sheard, T.: 'Accomplishments and research challenges in meta-programming', Lect. Notes Comput. Sci., 2001, 2196, pp. 2-44
8. Sestoft, P.: 'Runtime code generation with JVM and CLR', http://www.dina.dk/̃sestoft/rtcg/rtcg.pdf, accessed October 2003
9. Calcagno, C., Taha, W., Huang, L., and Leroy, X.: 'A bytecode-compiled, type-safe, multi-stage language', http://citeseer.nj.nec.com/460583.html, accessed October 2003
10. 'OCaml VM', http://pauillac.inria.fr/̃lebotlan/docaml_html/english/, accessed October 2003
11. Masuhara, H., and Yonezawa, A.: 'Run-time bytecpde specialization: a portable approach to generating optimized specialized code'. Proc. Symp. on Programs as Data Objects (PADO), Aarhus, Denmark, 21-23 May 2001, pp. 138-154
12. Tanter, E., Ségura-Devillechaise, M., Noyé, J., and Piquer, J.: Altering Java semantics via bytecode manipulation, Lect. Notes Comput. Sci., 2002, 2487, pp. 283-298
13. Attardi, G., Cisternino, A., and Kennedy, A.: 'Code bricks: code fragments as building blocks'. Proc. SIGPLAN Workshop on Partial Evaluation and Semantic-based Program Manipulation (PEPM), San Diego, CA, USA, 2003, pp. 66-74
14. Cisternino, A.: 'Multi-stage and Meta-programming support in strongly typed execution engines'. Phd thesis, TD-5/03, Dipartimento di Informatica, Universita diPisa, May 2003, available at http://www.di.unipi.it/phd/tesi/tesi-2003/PhDthesis-Cisternino.ps.gz, accessed October 2003
15. Fischbach, A., and Hannan, J.: 'Specification and correctness of lambda lifting', Lect. Notes Comput. Sci., 2000, 1924, pp. 108-128
16. 'Microsoft Shared Source CLI', http://msdn.microsoft.com/net/sscli, accessed October 2003
17. Stutz, D., Neward, T., and Shilling, G.: 'Shared source CLI essentials' (O'Reilly, Sebastopol, CA, 2003)