Implicitly heterogeneous multi-stage programming

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

Volumn 3676 LNCS, Issue , 2005, Pages 275-292

  Eckhardt, Jason ^a   Kaiabachev, Roumen ^a   Pašalić, Emir ^a   Swadi, Kedar ^a   Taha, Walid ^a  

^a RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; CODES (SYMBOLS); FORMAL LANGUAGES; NUMERICAL ANALYSIS; ONLINE SYSTEMS;

GENERATOR SOURCE CODE; HOMOGENEOUS DESIGNS; MULTI-STAGE PROGRAMMING (MSP) LANGUAGE;

COMPUTER PROGRAMMING;

EID: 33646129674     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11561347_19     Document Type: Conference Paper

References (21)

1. Cristiano Calcagno, Eugenio Moggi, and Walid Taha. Mi-like inference for classifiers. In European Symposium on Programming (ESOP), Lecture Notes in Computer Science. Springer-Verlag, 2004.
2. Thomas Cormen, Charles Leiserson, and Ronald Rivest. Introduction to Algorithms. MIT Press and McGraw-Hill Book Company, 14 edition, 1994.
3. Dynamic Programming Benchmarks. Available online from http://www.metaocaml.org/examples/dp, 2005.
4. Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, and Walid Taha. Implicitly heterogeneous multi-stage programming (extended version). Available online from: http://www.cs.rice.edu/~taha/publications/preprints/2005- 06-28-TR.pdf, June 2005.
5. Conal Elliott, Sigbjørn Finne, and Oege de Moore. Compiling embedded languages. In [17], pages 9-27, 2000.
6. Matteo Frigo and Steven G. Johnson. FFTW: An adaptive software architecture for the FFT. In Proc. 1998 IEEE Intl. Conf. Acoustics Speech and Signal Processing, volume 3, pages 1381-1384. IEEE, 1998.
7. Robert Glück and Jesper Jørgensen. Multi-level specialization (extended abstract). In John Hatcliff, Torben Mogensen, and Peter Thiemann, editors, Partial Evaluation: Practice and Theory, volume 1706 of LNCS, pages 326-337. Springer-Verlag, 1999.
8. Sam Kamin. Standard ML as a meta-programming language. Technical report, Univ. of Illinois Computer Science Dept, 1996. Available at www-faculty.cs.uiuc. edu/~kamin/pubs/.
9. Samuel N. Kamin, Miranda Callahan, and Lars Clausen. Lightweight and generative components i: Source-level components. In GCSE '99: Proceedings of the First International Symposium on Generative and Component-Based Software Engineering, pages 49-64, London, UK, 2000. Springer-Verlag.
10. MetaOCaml: A compiled, type-safe multi-stage programming language. Available online from http://www.metaocaml.org/, 2004.
11. Gregory Neverov and Paul Roe. Towards a Fully-reflective Meta-programming Language, volume 38 of Conferences in Research and Practice in Information Technology. ACS, Newcastle, Australia, 2005. Twenty-Eighth Australasian Computer Science Conference (ACSC2005).
12. Oregon Graduate Institute Technical Reports. P.O. Box 91000, Portland, OR 97291-1000.USA. Available online from ftp://cse.ogi.edu/pub/tech-reports/ README.html.
13. Emir Pasalic, Walid Taha, and Tim Sheard. Tagless staged interpreters for typed languages. In the International Conference on Functional Programming (ICFP '02), Pittsburgh, USA, October 2002. ACM.
14. Gerd Stolpmann. Dl- ad-hoc dynamic loading for OCaml. Available from http://www.ocaml-progranuning.de/packages/docuinentation/dl/.
15. Kedar Swadi, Walid Taha, and Oleg Kiselyov. Staging dynamic programming algorithms, April 2005. Unpublished manuscript, available from http://www.cs.rice.edu/~taha/publications.html.
16. Walid Taha. Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology, 1999. Available from [12].
17. Walid Taha, editor. Semantics, Applications, and Implementation of Program Generation, volume 1924 of Lecture Notes in Computer Science, Montréal, 2000. Springer-Verlag.
18. Walid Taha. A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial. In Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), Boston, 2000. ACM Press.
19. Walid Taha and Michael Florentin Nielsen. Environment classifiers. In The Symposium on Principles of Programming Languages (POPL '03), New Orleans, 2003.
20. Walid Taha and Tim Sheard. Mult-stage programming with explicit annotations. In Proceedings of Symposium on Partial Evaluation and Semantics Based Program manipulation, pages 203-217. ACM SIGPLAN, 1997.
21. David Tarditi, Peter Lee, and Anurag Acharya. No assembly required: Compiling standard ML to C. ACM Letters on Programming Languages and Systems, 1(2):161-177, June 1992.