{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:54:41Z","timestamp":1725558881492},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202233"},{"type":"electronic","value":"9783540452126"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45212-6_22","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T16:42:51Z","timestamp":1277829771000},"page":"340-355","source":"Crossref","is-referenced-by-count":8,"title":["Generating Heap-Bounded Programs in a Functional Setting"],"prefix":"10.1007","author":[{"given":"Walid","family":"Taha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Ellner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongwei","family":"Xi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Handbook of Logic in Computer Science","author":"H.P. Barendregt","year":"1991","unstructured":"Barendregt, H.P.: Lambda calculi with types. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, Oxford University Press, Oxford (1991)"},{"key":"22_CR2","unstructured":"Benaissa, Z.E.-A., Moggi, E., Taha, W., Sheard, T.: Logical modalities and multi-stage programming. In: Federated Logic Conference (FLoC) Satellite Workshop on Intuitionistic Modal Logics and Applications (IMLA) (1999)"},{"key":"22_CR3","volume-title":"The Symposium on Logic in Computer Science (LICS 1996)","author":"N. Benton","year":"1996","unstructured":"Benton, N., Wadler, P.: Linear logic, monads and the lambda calculus. In: The Symposium on Logic in Computer Science (LICS 1996), New Brunswick, IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/3-540-45022-X_4","volume-title":"Automata, Languages and Programming","author":"C. Calcagno","year":"2000","unstructured":"Calcagno, C., Moggi, E., Taha, W.: Closed types as a simple approach to safe imperative multi-stage programming. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 25\u201336. Springer, Heidelberg (2000)"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1145\/325694.325716","volume-title":"the Symposium on Principles of Programming Languages (POPL 2000)","author":"K. Crary","year":"2000","unstructured":"Crary, K., Weirich, S.: Resource bound certification. In: the Symposium on Principles of Programming Languages (POPL 2000), January 19-21, pp. 184\u2013198. ACM Press, New York (2000)"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/3-540-45821-2_10","volume-title":"Generative Programming and Component Engineer SIGPLAN\/SIGSOFT Conference GPCE 2002, ACM","author":"K. Czarnecki","year":"2002","unstructured":"Czarnecki, K., Bednasch, T., Unger, P., Eisenecker, U.: Generative programming for embedded software: An industrial experience report. In: Batory, D., Consel, C., Taha, W. (eds.) Generative Programming and Component Engineer SIGPLAN\/SIGSOFT Conference GPCE 2002, ACM. LNCS, vol.\u00a02487, pp. 156\u2013172. Springer, Heidelberg (2002)"},{"issue":"3","key":"22_CR7","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/382780.382785","volume":"48","author":"R. Davies","year":"2001","unstructured":"Davies, R., Pfenning, F.: A modal analysis of staged computation. Journal of the ACM\u00a048(3), 555\u2013604 (2001)","journal-title":"Journal of the ACM"},{"key":"22_CR8","first-page":"464","volume-title":"the Symposium on Logic in Computer Science (LICS 1999)","author":"M. Hofmann","year":"1999","unstructured":"Hofmann, M.: Linear types and non-size-increasing polynomial time computation. In: the Symposium on Logic in Computer Science (LICS 1999), pp. 464\u2013473. IEEE, Los Alamitos (1999)"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Hofmann, M.: A type system for bounded space and functional in-place update. Nordic Journal of Computing 7(4) (Winter 2000)","DOI":"10.1007\/3-540-46425-5_11"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-46425-5_11","volume-title":"Programming Languages and Systems","author":"M. Hofmann","year":"2000","unstructured":"Hofmann, M.: A type system for bounded space and functional in-place update. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol.\u00a01782, p. 165. Springer, Heidelberg (2000)"},{"key":"22_CR11","series-title":"ACM Sigplan Notices","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/317636.317785","volume-title":"Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP 1999)","author":"R. Hughes","year":"1999","unstructured":"Hughes, R., 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 1999), September 27-29. ACM Sigplan Notices, vol.\u00a034.9, pp. 70\u201381. ACM Press, New York (1999)"},{"key":"22_CR12","volume-title":"Proceedings of the ACM Symposium on Principles of Programming Languages (POPL)","author":"R. Hughes","year":"1996","unstructured":"Hughes, R., Pareto, L., Sabry, A.: Proving the correctness of reactive systems using sized types. In: Steele Jr., G.L. (ed.) Proceedings of the ACM Symposium on Principles of Programming Languages (POPL), St Petersburg, Florida, vol.\u00a023, ACM Press, New York (1996)"},{"key":"22_CR13","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Kamin, S., Callahan, M., Clausen, L.: Lightweight and generative components II: Binary-level components. In: [25], pp. 28\u201350 (2000)","DOI":"10.1007\/3-540-45350-4_6"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-45821-2_14","volume-title":"Generative Programming and Component Engineering","author":"C.S. Lee","year":"2002","unstructured":"Lee, C.S.: Program termination analysis in polynomial time. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol.\u00a02487, pp. 218\u2013235. Springer, Heidelberg (2002)"},{"key":"22_CR16","first-page":"81","volume-title":"ACM Symposium on Principles of Programming Languages","author":"C.S. Lee","year":"2001","unstructured":"Lee, C.S., Jones, N.D., Ben-Amram, A.M.: The size-change principle for program termination. In: ACM Symposium on Principles of Programming Languages, vol.\u00a028, pp. 81\u201392. ACM Press, New York (2001)"},{"key":"22_CR17","unstructured":"MetaOCaml, A.: compiled, type-safe multi-stage programming language (2001), Available online from http:\/\/www.cs.rice.edu\/taha\/MetaOCaml\/"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49099-X_13","volume-title":"Programming Languages and Systems","author":"E. Moggi","year":"1999","unstructured":"Moggi, E., Taha, W., Benaissa, Z.E.-A., Sheard, T.: An idealized MetaML: Simpler, and more expressive. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Mycroft, A., Sharp, R.: A statically allocated parallel functional language. In: Automata, Languages and Programming, pp. 37\u201348 (2000)","DOI":"10.1007\/3-540-45022-X_5"},{"key":"22_CR20","unstructured":"National Instruments. Introduction to LabVIEW Real-Time (2003), Available online from http:\/\/volt.ni.com\/niwc\/labviewrt\/lvr_tintro.jsp?node=2381&node=2381"},{"key":"22_CR21","unstructured":"National Instruments. LabVIEW FPGA Module (2003), Available online from http:\/\/sine.ni.com\/apps\/we\/nioc.vp?cid=11784&lang=US"},{"key":"22_CR22","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526572","volume-title":"Two-Level Functional Languages","author":"F. Nielson","year":"1992","unstructured":"Nielson, F., Nielson, H.R.: Two-Level Functional Languages. Cambridge Tracts in Theoretical Computer Science, vol.\u00a0(34). Cambridge University Press, Cambridge (1992)"},{"key":"22_CR23","unstructured":"Oregon Graduate Institute Technical Reports. P.O. Box 91000, Portland, OR 97291-1000,USA, Available online from ftp:\/\/cse.ogi.edu\/pub\/techreports\/README.html"},{"key":"22_CR24","unstructured":"Taha, W.: Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology (1999), Available from [23]"},{"key":"22_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Semantics, Applications, and Implementation of Program Generation","year":"2000","unstructured":"Taha, W. (ed.): SAIG 2000. LNCS, vol.\u00a01924. Springer, Heidelberg (2000)"},{"key":"22_CR26","volume-title":"Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Maniplation (PEPM)","author":"W. Taha","year":"2000","unstructured":"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, ACM Press, New York (2000)"},{"key":"22_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-45449-7_13","volume-title":"Embedded Software","author":"W. Taha","year":"2001","unstructured":"Taha, W., Hudak, P., Wan, Z.: Directions in functional programming for real(-time) applications. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 185\u2013203. Springer, Heidelberg (2001)"},{"key":"22_CR28","volume-title":"The International Conference on Functional Programming (ICFP 2001)","author":"Z. Wan","year":"2001","unstructured":"Wan, Z., Taha, W., Hudak, P.: Real-time FRP. In: The International Conference on Functional Programming (ICFP 2001), Florence, Italy, ACM, New York (2001)"},{"key":"22_CR29","volume-title":"Proceedings of Fourth International Symposium on Practical Aspects of Declarative Languages","author":"Z. Wan","year":"2002","unstructured":"Wan, Z., Taha, W., Hudak, P.: Event-driven FRP. In: Proceedings of Fourth International Symposium on Practical Aspects of Declarative Languages, ACM, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45212-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T11:04:53Z","timestamp":1559214293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45212-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202233","9783540452126"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45212-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}