Compiling embedded languages

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

Volumn 1924, Issue , 2000, Pages 9-26

  Elliott, Conal ^a   Finne, Sigbjørn ^a   de Moor, Oege ^b  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; AUTOMATIC PROGRAMMING; SEMANTICS; SYNTACTICS;

DOMAIN SPECIFIC; DOMAIN-SPECIFIC EMBEDDED LANGUAGES; EMBEDDED INTERPRETERS; EMBEDDED LANGUAGES; FUNCTIONAL LANGUAGES; MOTION TRANSFORMATION; OPTIMIZING COMPILERS; PROGRAM GENERATION;

PROGRAM COMPILERS;

EID: 84957809399     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45350-4_5     Document Type: Conference Paper

References (17)

1. Oege de Moor and Ganesh Sittampalam. Generic program transformation. In Proceedings of the third International Summer School on Advanced Functional Programming, Springer Lecture Notes in Computer Science, 1999. http://users.comlab.ox.ac.uk/oege.demoor/papers/braga.ps.gz
2. Conal Elliott. A Pan image gallery. http://research.microsoft.com/~conal/pan/Gallery
3. Conal Elliott. An embedded modeling language approach to interactive 3D and multimedia animation. IEEE Transactions on Software Engineering, 25(3):291-308, May/June 1999. Special Section: Domain-Specific Languages (DSL). http://research.microsoft.com/~conal/papers/tse-modeled-animation
4. Conal Elliott. Functional images, unpublished, March 2000. http://research.microsoft.com/~conal/papers/fip
5. Conal Elliott, Sigbjørn Finne, and Oege de Moor. Compiling embedded languages (extended version). Technical report, Microsoft Research, May 2000. http://-research.microsoft.com/scripts/pubs/view.asp?TRID=MSR-TR-2000-52
6. Matteo Frigo. A fast Fourier transform compiler. In Proceedings of the ACM SIGPLAN'99 Conference on Programming Language Design and Implementation, pages 169-180, 1999. http://www.acm.org/pubs/articles/proceedings/pldi/301618/p169-frigo/p169-frigo.pdf
7. John Hatcliff, Torben Mogensen, and Peter Thiemann, editors. Partial Evaluation: Practice and Theory, volume 1706. Springer-Verlag, 1999
8. Paul Hudak. Modular domain specific languages and tools. In P. Devanbu and J. Poulin, editors, Proceedings: Fifth International Conference on Software Reuse, pages 134-142. IEEE Computer Society Press, 1998
9. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, International Series in Computer Science, June 1993. http://www.dina.kvl.dk/~sestoft/pebook/pebook.html
10. Samuel Kamin. Standard ML as a meta-programming language. Technical report, University of Illinois at Urbana-Champaign, September 1996. http://www-sal.cs.uiuc.edu/~kamin/pubs/ml-meta.ps
11. Samuel Kamin and David Hyatt. A special-purpose language for picture-drawing. In USENIX, editor, Proceedings of the Conference on Domain-Specific Languages, October 15-17, 1997, Santa Barbara, California, pages 297-310, 1997. http://www-sal.cs.uiuc.edu/~kamin/fpic/doc/fpic-paper.ps
12. Peter J. Landin. The next 700 programming languages. Communications of the ACM, 9(3):157-164, March 1966. Originally presented at the Proceedings of the ACM Programming Language and Pragmatics Conference, August 8-12, 1965
13. Daan Leijen and Erik Meijer. Domain specific embedded compilers. In 2nd Con- ference on Domain-Specific Languages (DSL), Austin TX, USA, October 1999. USENIX. http://www.cs.uu.nl/people/daan/papers/dsec.ps
14. Walid Taha and Tim Sheard. MetaML and multi-stage programming with ex- plicit annotations. Journal of Theoretical Computer Science, 2000. To appear. http://www.cs.chalmers.se/~taha/publications/journal/tcs00.ps
15. GHC Team. The Glasgow Haskell compiler. http://haskell.org/ghc
16. Todd Veldhuizen. Expression templates. C++ Report, 7(5):26-31, June 1995. http://extreme.indiana.edu/~tveldhui/papers/pepm99.ps. Reprinted in C++ Gems, ed. Stanley Lippman
17. Todd Veldhuizen. C++ templates as partial evaluation. In Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99). ACM Sig-plan, 1999. http://extreme.indiana.edu/~tveldhui/papers/pepm99.ps