{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:49:11Z","timestamp":1725486551182},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540726845"},{"type":"electronic","value":"9783540726852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72685-2_19","type":"book-chapter","created":{"date-parts":[[2007,6,30]],"date-time":"2007-06-30T01:31:29Z","timestamp":1183167089000},"page":"193-206","source":"Crossref","is-referenced-by-count":9,"title":["A Code Generation Framework for Actor-Oriented Models with Partial Evaluation"],"prefix":"10.1007","author":[{"given":"Gang","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Man-Kit","family":"Leung","sequence":"additional","affiliation":[]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"19_CR1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E.A. Lee","year":"2006","unstructured":"Lee, E.A.: The Problem with Threads. IEEE Computer\u00a039(5), 33\u201342 (2006)","journal-title":"IEEE Computer"},{"key":"19_CR2","unstructured":"http:\/\/www.microsoft.com\/whdc\/driver\/wdf\/WDF_facts.mspx"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-45937-5_14","volume-title":"Compiler Construction","author":"W. Thies","year":"2002","unstructured":"Thies, W., Karczmarek, M., Amarasinghe, S.: StreamIt: A Language for Streaming Applications. In: Horspool, R.N. (ed.) CC 2002 and ETAPS 2002. LNCS, vol.\u00a02304, p. 179. Springer, Heidelberg (2002)"},{"key":"19_CR4","unstructured":"http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"19_CR5","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 (June 1993)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Kohler, E., Morris, R., Chen, B.: Programming language optimizations for modular router configurations. In: Proceedings of the Architectural Support for Programming Languages and Operating Systems (ASPLOS), October 2002, pp. 251\u2013263 (2002)","DOI":"10.1145\/605397.605424"},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1017\/S0956796800000058","volume":"1","author":"C.K. Gomard","year":"1991","unstructured":"Gomard, C.K., Jones, N.D.: A partial evaluator for the untyped lambda-calculus. Journal of Functional Programming\u00a01(1), 21\u201369 (1991)","journal-title":"Journal of Functional Programming"},{"issue":"3-4","key":"19_CR8","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"Lloyd, J.W., Shepherdson, J.C.: Partial evaluation in logic programming. Journal of Logic Programming\u00a011(3-4), 217\u2013242 (1991)","journal-title":"Journal of Logic Programming"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/3-540-55984-1_23","volume-title":"Compiler Construction","author":"L.O. Andersen","year":"1992","unstructured":"Andersen, L.O.: Partial evaluation of C and automatic compiler generation. In: Pfahler, P., Kastens, U. (eds.) CC 1992. LNCS, vol.\u00a0641, pp. 251\u2013257. Springer, Heidelberg (1992)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/3-540-44978-7_11","volume-title":"Programs as Data Objects","author":"U.P. Schultz","year":"2001","unstructured":"Schultz, U.P.: Partial evaluation for class-based object-oriented languages. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol.\u00a02053, p. 173. Springer, Heidelberg (2001)"},{"issue":"3","key":"19_CR11","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/2.825699","volume":"33","author":"R.V. Ommerling","year":"2000","unstructured":"Ommerling, R.V.: The Koala component model for consumer electronics software. IEEE Computer\u00a033(3), 78\u201385 (2000)","journal-title":"IEEE Computer"},{"key":"19_CR12","unstructured":"Tsay, J.: A Code Generation Framework for Ptolemy II. ERL Technical Memorandum UCB\/ERL No. M00\/25, Dept. EECS, University of California, Berkeley, CA 94720 (May 19, 2000)"},{"issue":"1","key":"19_CR13","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF02406468","volume":"9","author":"J.L. Pino","year":"1995","unstructured":"Pino, J.L., Ha, S., Lee, E.A., Buck, J.T.: Software Synthesis for DSP Using Ptolemy. Journal on VLSI Signal Processing\u00a09(1), 7\u201321 (1995)","journal-title":"Journal on VLSI Signal Processing"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Girault, A., Lee, B., Lee, E.A.: Hierarchical Finite State Machines with Multiple Concurrency Models. IEEE Transactions On Computer-aided Design Of Integrated Circuits And Systems\u00a018(6) (1999)","DOI":"10.1109\/43.766725"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous Data Flow. Proc. of the IEEE (September 1987)","DOI":"10.1109\/PROC.1987.13876"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72685-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:03:34Z","timestamp":1605762214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72685-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540726845","9783540726852"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72685-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}