Compiling embedded languages

Journal of Functional Programming

Volumn 13, Issue 3, 2003, Pages 455-481

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

^a MICROSOFT RESEARCH   (United States)

^b Galois Connections Inc   (United States)

^c UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL LANGUAGES;

EMBEDDED SYSTEMS; IMAGE PROCESSING; MATHEMATICAL TRANSFORMATIONS; PROGRAM COMPILERS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0037851842     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796802004574     Document Type: Article

References (39)

1. Alstrup, S., Harel, D., Lauridsen, P. W. and Thorup, M. (1999) Dominators in linear time. SICOMP: SIAM J. Comput. 28.
2. Appel, A. (1998) Modern Compiler Implementation in ML. Cambridge University Press.
3. Berlin, A. (1989) A compilation strategy for numerical programs based on partial evaluation. Technical Report AITR-1144, Massachusetts Institute of Technology.
4. Berlin, A. and Weise, D. (1990) Compiling scientific code using partial evaluation. IEEE Computer, 23(12), 25-37.
5. Bird, R. S. (1984) Using circular programs to eliminate multiple traversals of data. Acta Informatica, 21(3), 239-250.
6. Boiten, E. A. (1992) Improving recursive functions by inverting the order of evaluation. Sci. Comput. Program. 18(2), 139-179.
7. Chin, W. (1993) Towards an automated tupling strategy. Proceedings ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, pp. 119-132.
8. Claessen, K. and Sands, D. (1999) Observable sharing for functional circuit description. In: Thiagarajan, P. S. and Yap, R., editors, Advances in Computing Science ASIAN'99; 5th Asian Computing Science Conference: Lecture Notes in Computer Science 1742, pp. 62-73. Springer-Verlag.
9. Danvy, O. (1998) Online type-directed partial evaluation. Third Fuji International Symposium on Functional and Logic Programming. FLOPS '98 Proceedings. pp. 271-295. World Scientific. (Extended version at http://www.brics.dk/RS/97/Ref/BRICS-RS-97-Ref/BRICS-RS-97-Ref.html#BRICS-RS-97-5 3.)
10. Day, N. A., Lewis, J. R. and Cook, B. (1999) Symbolic simulation of microprocessor models using type classes in Haskell. CHARME'99 poster session. Bad Herranald, Germany. http://www.cse.ogi.edu/PacSoft/projects/Hawk/papers/sym_sim.ps. Companion tech report with details, examples, and Haskell code (OGI Technical Report CSE-99-005), http://www.cse.ogi.edu/PacSoft/projects/Hawk/papers/-tr99-005.ps.
11. de Moor, O. and Secher, J. P. (2001) Common subexpression elimination of conditional expressions. Submitted.
12. de Moor, O. and Sittampalam, G. (1999) Generic program transformation. Proceedings 3rd International Summer School on Advanced Functional Programming. http://users.comlab.ox.ac.uk/oege.demoor/papers/braga.ps.gz.
13. Elliott, C. (1998) Functional implementations of continuous modeled animation. Proceedings PLILP/ALP. Springer-Verlag.
14. Elliott, C. (1999) An embedded modeling language approach to interactive 3D and multimedia animation. IEEE Trans. Softw. Eng. 25(3), 291-308.
15. Elliott, C. (2000) A Pan image gallery, http://research.microsoft.com/̃conal/-pan/Gallery.
16. Elliott, C. (2001) Functional image synthesis. In: Sarhangi, R. and Jablan, S., editors. Proceedings Bridges 2001, Mathematical Connections in Art, Music, and Science. http://research.microsoft.com/̃conal/papers/bridges2001. An extended version, submitted for publication, is available as http://research.microsoft. com/̃conal/papers/functional-images.
17. Frigo, M. (1999) A fast Fourier transform compiler. Proceedings ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, pp. 169-180. http://www.acm.org/pubs/articles/proceedings/pldi/301618/p169-frigo/-p169-frigo. pdf.
18. GHC Team The Glasgow Haskell compiler, http://haskell.org/ghc.
19. Harel, D. (1985) A linear time algorithm for finding dominators in flow graphs and related problems. Proceedings 17th Annual ACM Symposium on Theory of Computing, pp. 185-194.
20. Harel, D. and Tarjan, R. E. (1984) Fast algorithms for finding nearest common ancestors. SIAM J. Comput. 13(2), 338-355.
21. Hatcliff, J., Mogensen, T. and Thiemann, P. (editors) (1999) Partial Evaluation: Practice and theory. Vol. 1706. Springer-Verlag.
22. Hudak, P. (1998) Modular domain specific languages and tools. In: Devanbu, P. and Poulin, J., editors, Proceedings: Fifth International Conference on Software Reuse, pp. 134-142. IEEE Press.
23. Hudak, P. (2000) The Haskell School of Expression: Learning functional programming through multimedia. Cambridge University Press.
24. Hudak, P. and Jones, M. P. (1994) Haskell vs. Ada vs. C++ vs. Awk rs. ...an experiment in software prototyping productivity. Technical report. Yale.
25. Johnsson, T. (1987) Attribute grammars as a functional programming paradigm. In: Kahn, G., editor, Functional Programming Languages and Computer Architecture: Lecture Notes in Computer Science 274, pp. 154-173. Springer-Verlag.
26. Jones, N. D., Gomard, C. K. and Sestoft. P. (1993) Partial evaluation and automatic program generation. International Series in Computer Science: Prentice Hall International, http://www.dina.kv1.dk/sestoft/pebook/pebook.html.
27. Kamin, S. (1996) Standard ML as a meta-programming language. Technical report, University of Illinois at Urbana-Champaign. http://www-sal.cs.uiuc.edu/̃Kamin/-pubs/ml-meta.ps.
28. Kamin, S. and Hyatt, D. (1997) A special-purpose language for picture-drawing. Proceedings Conference on Domain-Specific Languages, pp. 297-310. http://www-sal.cs.uiuc.edu/-̃kamin/fpic/doc/fpic-paper.ps.
29. Landin, P. J. (1966) The next 700 programming languages. Comm. ACM, 9(3), 157-164.
30. Launchbury, J. and Peyton Jones, S. L. (1994) Lazy functional state threads. Proceedings ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pp. 24-35.
31. Leijen, D. and Meijer, E. (1999) Domain specific embedded compilers. 2nd Conference on Domain-Specific Languages (DSL), Austin, TX. http://www.cs.uu.nl/people/daan/-papers/dsec.ps.
32. Pettorossi, A. (1984) Methodologies for transformations and memoing in applicative languages. PhD thesis. University of Edinburgh, Scotland.
33. Peyton Jones, S., Jones, M. and Meijer, E. (1997) Type classes: exploring the design space. Haskell workshop.
34. Rus, T. and Van Wyk, K. (1997) Model checking as a tool used by parallelizing compilers. Proceedings 2nd Formal Methods for Parallel Processing: Theory and Applications.
35. Taha, W. and Sheard, T. (2000) MetaML: Multi-stage programming with explicit annotations. Theor. Comput. Sci. 248(1-2).
36. Thiemann, P. and Sperber, M. (1997) Program generation with class. GI-Arbeitstagung Programmiersprachen.
37. Veldhuizen, T. (1995) Expression templates. C++ Report. 7(5), 26-31. http://extreme.-indiana.edu/̃tveldhui/papers/pepm99.ps. Reprinted in C++ Gems. ed. Stanley Lippman.
38. Veldhuizen, T. (1999) C++ templates as partial evaluation. Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM'99). http://extreme.indiana.edu/-̃tveldhui/papers/pepm99.ps.
39. Weise, D. Conybeare, R., Ruf. E. and Seligman, S. ( 1991) Automatic online partial evaluation. In: Hughes, R. J. M., editor. Functional Programming Languages and Computer Architecture: Lecture Notes in Computer Science 523, pp. 165-191. Springer-Verlag.