{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:25Z","timestamp":1763468065447},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615804"},{"type":"electronic","value":"9783540705895"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61580-6_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:01:04Z","timestamp":1330293664000},"page":"338-354","source":"Crossref","is-referenced-by-count":12,"title":["Multi-Level Lambda-Calculi: An algebraic description"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BFb0026825","volume":"982","author":"R. Gl\u00fcck","year":"1995","unstructured":"R. Gl\u00fcck and J. J\u00f8rgensen: Efficient Multi-level Generating Extensions for Program Specialization. PLILP'95, Springer Lecture Notes in Computer Science, vol. 982: pp. 259\u2013278, 1995.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"17_CR2","unstructured":"J. A. Goguen and J. W. Thatcher and E. G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. Current Trends in Programming Methodology, vol. 4, (R. T. Yeh, editor), Prentice-Hall, 1978."},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/3-540-57880-3_19","volume":"788","author":"F. Henglein","year":"1994","unstructured":"F. Henglein and C. Mossin: Polymorphic Binding-Time Analysis. ESOP'94, Springer Lecture Notes in Computer Science, vol. 788: pp. 287\u2013301, 1994.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-15976-2_6","volume":"202","author":"N. D. Jones","year":"1985","unstructured":"N. D. Jones and P. Sestoft and H. S\u00f8ndergaard: An Experiment in Partial Evaluation: the Generation of a Compiler Generator. Rewriting Techniques and Applications, Springer Lecture Notes in Computer Science, vol. 202: pp. 124\u2013140, 1985.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"17_CR5","unstructured":"N. D. Jones and F. Nielson: Abstract Interpretation: a Semantics-Based Tool for Program Analysis. Handbook of Logic in Computer Science, vol. 4: pp. 527\u2013636, Oxford University Press, 1995."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"J. C. Mitchell: Type Systems for Programming Languages. Handbook of Theoretical Computer Science: Formal Models and Semantics, vol. B: pp. 365\u2013458, Elsevier Science Publishers (and MIT Press), 1990.","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"17_CR7","volume-title":"PhD thesis","author":"F. Nielson","year":"1984","unstructured":"F. Nielson: Abstract Interpretation using Domain Theory. PhD thesis, University of Edinburgh, Scotland, 1984."},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(89)90091-1","volume":"69","author":"F. Nielson","year":"1989","unstructured":"F. Nielson: Two-Level Semantics and Abstract Interpretation. Theoretical Computer Science \u2014 Fundamental Studies, vol. 69: pp. 117\u2013242, 1989.","journal-title":"Theoretical Computer Science \u2014 Fundamental Studies"},{"issue":"1","key":"17_CR9","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0304-3975(86)90006-X","volume":"56","author":"F. Nielson","year":"1988","unstructured":"F. Nielson and H. R. Nielson: Two-level semantics and code generation. Theoretical Computer Science, vol. 56(1): pp. 59\u2013133, 1988.","journal-title":"Theoretical Computer Science"},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0167-6423(88)90025-1","volume":"10","author":"H. R. Nielson","year":"1988","unstructured":"H. R. Nielson and F. Nielson: Automatic Binding Time Analysis for a Typed \u03bbcalculus. Science of Computer Programming, vol. 10: pp. 139\u2013176, 1988.","journal-title":"Science of Computer Programming"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"F. Nielson and H. R. Nielson: Two-Level Functional Languages. Vol. 34 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511526572"},{"issue":"2","key":"17_CR12","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0950-5849(92)90109-3","volume":"34","author":"F. Nielson","year":"1992","unstructured":"F. Nielson and H. R. Nielson: Forced Transformations of Occam Programs. Information and Software Technology, vol. 34(2): pp. 91\u201396, 1992.","journal-title":"Information and Software Technology"},{"key":"17_CR13","unstructured":"C. Strachey: The Varieties of Programming Languages. Technical Monograph PRG-10, Programming Research Group, University of Oxford, 1973."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"M. Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science: Formal Models and Semantics, vol. B: pp. 675\u2013788, Elsevier (and MIT Press), 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Partial Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61580-6_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:34:53Z","timestamp":1619573693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61580-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615804","9783540705895"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61580-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}