{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:27:11Z","timestamp":1743060431399,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662468227"},{"type":"electronic","value":"9783662468234"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46823-4_15","type":"book-chapter","created":{"date-parts":[[2015,4,18]],"date-time":"2015-04-18T01:40:54Z","timestamp":1429321254000},"page":"177-185","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Asymptotic Speedups, Bisimulation and Distillation (Work in Progress)"],"prefix":"10.1007","author":[{"given":"Neil D.","family":"Jones","sequence":"first","affiliation":[]},{"given":"G. W.","family":"Hamilton","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,19]]},"reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R Burstall","year":"1977","unstructured":"Burstall, R., Darlington, J.: A transformation system for developing recursive programs. J. ACM 24(1), 44\u201367 (1977)","journal-title":"J. ACM"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Debois, S.: Imperative program optimization by partial evaluation. In: PEPM (ACM SIGPLAN 2004 Workshop on Partial Evaluation and Program Manipulation), pp. 113\u2013122 (2004)","DOI":"10.1145\/1014007.1014019"},{"key":"15_CR3","first-page":"391","volume-title":"Formal Description of Programming Concepts","author":"AP Ershov","year":"1978","unstructured":"Ershov, A.P.: On the essence of compilation. In: Neuhold, E. (ed.) Formal Description of Programming Concepts, pp. 391\u2013420. North-Holland, Amsterdam (1978)"},{"issue":"4","key":"15_CR4","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1010095604496","volume":"12","author":"Y Futamura","year":"1999","unstructured":"Futamura, Y.: Partial evaluation of computation process - an approach to a compiler-compiler. High. Order Symb. Comput. 12(4), 381\u2013391 (1999)","journal-title":"High. Order Symb. Comput."},{"issue":"1\u20132","key":"15_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(98)00353-3","volume":"228","author":"AD Gordon","year":"1999","unstructured":"Gordon, A.D.: Bisimilarity as a theory of functional programming. Theor. Comput. Sci. 228(1\u20132), 5\u201347 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Hamilton, G.W.: Distillation: extracting the essence of programs. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 61\u201370 (2007)","DOI":"10.1145\/1244381.1244391"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Hamilton, G.W., Jones, N.D.: Distillation with labelled transition systems. In: PEPM (ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation), pp. 15\u201324. ACM (2012)","DOI":"10.1145\/2103746.2103753"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-29709-0_15","volume-title":"Perspectives of Systems Informatics","author":"GW Hamilton","year":"2012","unstructured":"Hamilton, G.W., Jones, N.D.: Proving the correctness of unfold\/fold program transformations using bisimulation. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol. 7162, pp. 153\u2013169. Springer, Heidelberg (2012)"},{"key":"15_CR9","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N Jones","year":"1993","unstructured":"Jones, N., Gomard, C., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, New York (1993)"},{"key":"15_CR10","series-title":"Foundations of Computing Series","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2003.001.0001","volume-title":"Computability and Complexity - From a Programming Perspective","author":"ND Jones","year":"1997","unstructured":"Jones, N.D.: Computability and Complexity - From a Programming Perspective. Foundations of Computing Series. MIT Press, Cambridge (1997)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/j.scico.2004.03.010","volume":"52","author":"ND Jones","year":"2004","unstructured":"Jones, N.D.: Transformation by interpreter specialisation. Sci. Comput. Program. 52, 307\u2013339 (2004)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"15_CR12","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/B:LISP.0000029444.99264.c0","volume":"17","author":"D Lacey","year":"2004","unstructured":"Lacey, D., Jones, N.D., Wyk, E.V., Frederiksen, C.C.: Compiler optimization correctness by temporal logic. High. Order Symb. Comput. 17(3), 173\u2013206 (2004)","journal-title":"High. Order Symb. Comput."},{"key":"15_CR13","series-title":"PHI Series in Computer Science","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. PHI Series in Computer Science. Prentice Hall, Upper Saddle River (1989)"},{"issue":"6","key":"15_CR14","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1017\/S0956796800002008","volume":"6","author":"MH S\u00f8rensen","year":"1996","unstructured":"S\u00f8rensen, M.H., Gl\u00fcck, R., Jones, N.: A positive supercompiler. J. Funct. Program. 6(6), 811\u2013838 (1996)","journal-title":"J. Funct. Program."},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/3-540-62064-8_20","volume-title":"Perspectives of System Informatics","author":"VF Turchin","year":"1996","unstructured":"Turchin, V.F.: Supercompilation: techniques and results. In: Bjorner, D., Broy, M., Pottosin, I.V. (eds.) PSI 1996. LNCS, vol. 1181, pp. 227\u2013248. Springer, Heidelberg (1996)"},{"issue":"3","key":"15_CR16","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/5956.5957","volume":"8","author":"V Turchin","year":"1986","unstructured":"Turchin, V.: The concept of a supercompiler. ACM Trans. Program. Lang. Syst. 8(3), 90\u2013121 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/3-540-19027-9_23","volume-title":"ESOP 1988","author":"P Wadler","year":"1988","unstructured":"Wadler, P.: Deforestation: transforming programs to eliminate trees. In: Ganzinger, H. (ed.) ESOP 1988. LNCS, vol. 300, pp. 344\u2013358. Springer, Heidelberg (1988)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46823-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T07:25:46Z","timestamp":1676445946000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-46823-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662468227","9783662468234"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46823-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"19 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}