{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:43:16Z","timestamp":1725493396905},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540667100"},{"type":"electronic","value":"9783540470182"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-47018-2_4","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T17:01:22Z","timestamp":1184605282000},"page":"108-154","source":"Crossref","is-referenced-by-count":5,"title":["C-Mix"],"prefix":"10.1007","author":[{"given":"Arne John","family":"Glenstrup","sequence":"first","affiliation":[]},{"given":"Henning","family":"Makholm","sequence":"additional","affiliation":[]},{"given":"Jens Peter","family":"Secher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers, Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"4_CR2","volume-title":"Program Analysis and Specialization for the C Programming Language","author":"L. O. Andersen","year":"1994","unstructured":"Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, Department of Computer Science, University of Copenhagen (DIKU, Copenhagen, Denmark, May 1994."},{"key":"4_CR3","unstructured":"Peter Hoist Andersen. Partially static binding-time types in C-Mix. Unpublished, November 1997."},{"key":"4_CR4","unstructured":"ANSI. American National Standard for Programming Languages \u2014 C. New York, USA, 1990. ANSI\/ISO 9899-1990."},{"key":"4_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-61580-6_4","volume-title":"A uniform approach for compile-time and run-time specialization","author":"C. Consel","year":"1996","unstructured":"C. Consel, L. Hornof, F. Noel, and J. Noye. A uniform approach for compile-time and run-time specialization. Lecture Notes in Computer Science, 1110:54\u2013--, 1996."},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/0020-0190(77)90078-3","volume":"6","author":"A. P. Ershov","year":"1977","unstructured":"A. P. Ershov. On the partial computation principle. Information Processing Letters, 6(2):38\u201341, April 1977.","journal-title":"Information Processing Letters"},{"key":"4_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3540543961_22","volume-title":"FPCA","author":"F. Henglein","year":"1991","unstructured":"Fritz Henglein. Efficient type inference for higher-order binding-time analysis. In J. Hughes, editor, FPCA, pages 448\u2013472. 5th ACM Conference, Cambridge, MA, USA, Berlin: Springer-Verlag, August 1991. Lecture Notes in Computer Science, Vol. 523."},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/258993.259005","volume":"32","author":"L. Hornof","year":"1997","unstructured":"L. Hornof and Jacques Noye. Accurate binding-time analysis for imperative languages: Flow, context and return sensitivity. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM-97), volume 32, 12 of ACM SIGPLAN Notices, pages 63\u201373, New York, June l2\u201313 1997. ACM Press.","journal-title":"Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM-97)"},{"key":"4_CR9","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993."},{"key":"4_CR10","volume-title":"The C Programming Language","author":"B. W. Kernighan","year":"1988","unstructured":"Brian W. Kernighan and Dennis M. Ritchie. The C Programming Language. Prentice-Hall, Englewood Cliffs, New Jersey 07632, 2 edition, 1988.","edition":"2 edition"}],"container-title":["Lecture Notes in Computer Science","Partial Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47018-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T18:55:36Z","timestamp":1708109736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47018-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667100","9783540470182"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-47018-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}