Generating heap-bounded programs in a functional setting

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

Volumn 2855, Issue , 2003, Pages 340-355

  Taha, Walid ^a   Ellner, Stephan ^a   Xi, Hongwei ^b  

^a RICE UNIVERSITY   (United States)

^b BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE REUSABILITY; HIGH LEVEL LANGUAGES;

DEVELOPMENT PLATFORM; FIRST-ORDER FUNCTIONAL LANGUAGES; FUNCTIONAL PROGRAMS; HIGH-LEVEL PROGRAMMING LANGUAGE; RESOURCE CONSUMPTION; RESOURCE UTILIZATIONS; RUNTIME BEHAVIORS; TWO-LEVEL LANGUAGES;

C (PROGRAMMING LANGUAGE);

EID: 0142249983     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45212-6_22     Document Type: Article

References (29)

1. BARENDREGT, H. P. Lambda calculi with types. In Handbook of Logic in Computer Science, S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, Eds. Oxford University Press, Oxford, 1991.
2. BENAISSA, Z. E.-A., MOGGI, E., TAHA, W., AND SHEARD, T. Logical modalities and multi-stage programming. In Federated Logic Conference (FLoC) Satellite Workshop on Intuitionistic Modal Logics and Applications (IMLA) (1999).
3. BENTON, N., AND WADLER, P. Linear logic, monads and the lambda calculus. In the Symposium on Logic in Computer Science (LICS '96) (New Brunswick, 1996), IEEE Computer Society Press.
4. CALCAGNO, C., MOGGI, E., AND TAHA, W. Closed types as a simple approach to safe imperative multi-stage programming. In the International Colloquium on Automata, Languages, and Programming (ICALP '00) (Geneva, 2000), vol. 1853 of Lecture Notes in Computer Science, Springer-Verlag, pp. 25-36.
5. CRARY, K., AND WEIRICH, S. Resource bound certification. In the Symposium on Principles of Programming Languages (POPL '00) (N.Y., Jan. 19-21 2000), ACM Press, pp. 184-198.
6. CZARNECKI, K., BEDNASCH, T., UNGER, P., AND EISENECKER, U. Generative programming for embedded software: An industrial experience report. In Generative Programming and Component Engineer SIGPLAN/SIGSOFT Conference, GPCE 2002 (Oct. 2002), D. Batory, C. Consel, and W. Taha, Eds., vol. 2487 of Lecture Notes in Computer Science, ACM, Springer, pp. 156-172.
7. DAVIES, R., AND PFENNING, F. A modal analysis of staged computation. Journal of the ACM 48, 3 (2001), 555-604.
8. HOFMANN, M. Linear types and non-size-increasing polynomial time computation. In the Symposium on Logic in Computer Science (LICS '99) (July 1999), IEEE, pp. 464-473.
9. HOFMANN, M. A type system for bounded space and functional in-place update. Nordic Journal of Computing 7, 4 (Winter 2000).
10. HOFMANN, M. A type system for bounded space and functional in-place update. In European Symposium on Programming (ESOP) (2000), Lecture Notes in Computer Science, Springer-Verlag.
11. HUGHES, R., AND PARETO, L. Recursion and dynamic data-structures in bounded space: Towards embedded ML programming. In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP-99) (N.Y., Sept. 27-29 1999), vol. 34.9 of ACM Sigplan Notices, AGM Press, pp. 70-81.
12. HUGHES, R., PARETO, L., AND SABRY, A. Proving the correctness of reactive systems using sized types. In In proceedings of the ACM Symposium on Principles of Programming Languages (POPL) (St Petersburg, Florida, 1996), G. L. S. Jr, Ed., vol. 23, ACM Press.
13. JONES, N.D., GOMARD, C.K., AND SESTOFT, P. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
14. KAMIN, S., CALLAHAN, M., AND CLAUSEN, L. Lightweight and generative components II: Binary-level components. In [25] (2000), pp. 28-50.
15. LEE, C. S. Program termination analysis in polynomial time. In Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 (Oct. 2002), D. Batory, C. Consel, and W. Taha, Eds., vol. 2487 of Lecture Notes in Computer Science, ACM, Springer, pp. 218-235.
16. LEE, C. S., JONES, N. D., AND BEN-AMRAM, A. M. The size-change principle for program termination. In ACM Symposium on Principles of Programming Languages (January 2001), vol. 28, ACM press, pp. 81-92.
17. MetaOCaml: A compiled, type-safe multi-stage programming language. Available online from http://www.cs.rice.edu/ taha/MetaOCaml/, 2001.
18. MOGGI, E., TAHA, W., BENAISSA, Z. E.-A., AND SHEARD, T. An idealized MetaML: Simpler, and more expressive. In European Symposium on Programming (ESOP) (1999), vol. 1576 of Lecture Notes in Computer Science, Springer-Verlag, pp. 193-207.
19. MYCROFT, A., AND SHARP, R. A statically allocated parallel functional language. In Automata, Languages and Programming (2000), pp. 37-48.
20. NATIONAL INSTRUMENTS. Introduction to LabVIEW Real-Time. Available online from http://volt.ni.com/niwc/labviewrt/lvrt_intro.jsp?node=2381&node=2381, 2003.
21. NATIONAL INSTRUMENTS. LabVIEW FPGA Module. Available online from http://sine.ni.com/apps/we/nioc.vp?cid=11784&lang=US, 2003.
22. NlELSON, F., AND NIELSON, H. R. Two-Level Functional Languages. No. 34 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1992.
23. 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.
24. TAHA, W. Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology, 1999. Available from [23].
25. TAHA, W., Ed. Semantics, Applications, and Implementation of Program Generation (Montréal, 2000), vol. 1924 of Lecture Notes in Computer Science, Springer-Verlag.
26. TAHA, W. 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 Maniplation (PEPM) (Boston, 2000), ACM Press.
27. TAHA, W., HUDAK, P., AND WAN, Z. Directions in functional programming for real(-time) applications. In the International Workshop on Embedded Software (EMSOFT '01) (Lake Tahoe, 2001), vol. 221 of Lecture Notes in Computer Science, Springer-Verlag, pp. 185-203.
28. WAN, Z., TAHA, W., AND HUDAK, P. Real-time FRP. In the International Conference on Functional Programming (ICFP '01) (Florence, Italy, September 2001), ACM.
29. WAN, Z., TAHA, W., AND HUDAK, P. Event-driven FRP. In Proceedings of Fourth International Symposium on Practical Aspects of Declarative Languages (Jan 2002), ACM.