{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:04:45Z","timestamp":1767927885171,"version":"3.49.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030171834","type":"print"},{"value":"9783030171841","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-17184-1_8","type":"book-chapter","created":{"date-parts":[[2019,4,6]],"date-time":"2019-04-06T17:34:04Z","timestamp":1554572044000},"page":"205-231","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["One Step at a Time"],"prefix":"10.1007","author":[{"given":"Ferdinand","family":"Vesely","sequence":"first","affiliation":[]},{"given":"Kathleen","family":"Fisher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,4,6]]},"reference":[{"key":"8_CR1","unstructured":"https:\/\/www.eecs.tufts.edu\/~fvesely\/esop2019"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/11506676_16","volume-title":"Logic Based Program Synthesis and Transformation","author":"MS Ager","year":"2005","unstructured":"Ager, M.S.: From natural semantics to abstract machines. In: Etalle, S. (ed.) LOPSTR 2004. LNCS, vol. 3573, pp. 245\u2013261. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/11506676_16"},{"issue":"POPL","key":"8_CR3","doi-asserted-by":"publisher","first-page":"52:1","DOI":"10.1145\/3158140","volume":"2","author":"N Amin","year":"2017","unstructured":"Amin, N., Rompf, T.: Collapsing towers of interpreters. Proc. ACM Program. Lang. 2(POPL), 52:1\u201352:33 (2017). \n                      https:\/\/doi.org\/10.1145\/3158140","journal-title":"Proc. ACM Program. Lang."},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-642-54833-8_15","volume-title":"Programming Languages and Systems","author":"C Bach Poulsen","year":"2014","unstructured":"Bach Poulsen, C., Mosses, P.D.: Deriving pretty-big-step semantics from small-step semantics. In: Shao, Z. (ed.) ESOP 2014. LNCS, vol. 8410, pp. 270\u2013289. Springer, Heidelberg (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-642-54833-8_15"},{"key":"8_CR5","unstructured":"Brookes, S.D., Roscoe, A.W., Walker, D.J.: An operational semantics for CSP. Technical report, Oxford University (1986)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-37036-6_3","volume-title":"Programming Languages and Systems","author":"A Chargu\u00e9raud","year":"2013","unstructured":"Chargu\u00e9raud, A.: Pretty-big-step semantics. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 41\u201360. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-37036-6_3"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-642-38613-8_24","volume-title":"Integrated Formal Methods","author":"\u015e Ciob\u00e2c\u0103","year":"2013","unstructured":"Ciob\u00e2c\u0103, \u015e.: From small-step semantics to big-step semantics, automatically. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 347\u2013361. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-38613-8_24"},{"issue":"4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129500001535","volume":"2","author":"O Danvy","year":"1992","unstructured":"Danvy, O., Filinski, A.: Representing control: a study of the CPS transformation. Math. Struct. Comput. Sci. 2(4), 361\u2013391 (1992). \n                      https:\/\/doi.org\/10.1017\/S0960129500001535","journal-title":"Math. Struct. Comput. Sci."},{"key":"8_CR9","unstructured":"Danvy, O.: On evaluation contexts, continuations, and the rest of computation. In: Thielecke, H. (ed.) Workshop on Continuations, pp. 13\u201323, Technical report CSR-04-1, Department of Computer Science, Queen Mary\u2019s College, Venice, Italy, January 2004"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.entcs.2005.01.007","volume":"124","author":"O Danvy","year":"2005","unstructured":"Danvy, O.: From reduction-based to reduction-free normalization. Electr. Notes Theor. Comput. Sci. 124(2), 79\u2013100 (2005). \n                      https:\/\/doi.org\/10.1016\/j.entcs.2005.01.007","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Danvy, O.: Defunctionalized interpreters for programming languages. In: ICFP 2008, pp. 131\u2013142. ACM, New York (2008). \n                      https:\/\/doi.org\/10.1145\/1411204.1411206","DOI":"10.1145\/1411204.1411206"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Danvy, O., Johannsen, J., Zerny, I.: A walk in the semantic park. In: PEPM 2011, pp. 1\u201312. ACM, New York (2011). \n                      https:\/\/doi.org\/10.1145\/1929501.1929503","DOI":"10.1145\/1929501.1929503"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Danvy, O., Nielsen, L.R.: Refocusing in reduction semantics. Technical report, BRICS RS-04-26, DAIMI, Department of Computer Science, University of Aarhus, November 2004","DOI":"10.7146\/brics.v11i26.21851"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Ellison, C., Ro\u015fu, G.: An executable formal semantics of C with applications. In: POPL 2012, pp. 533\u2013544. ACM, New York (2012). \n                      https:\/\/doi.org\/10.1145\/2103656.2103719","DOI":"10.1145\/2103656.2103719"},{"key":"8_CR15","volume-title":"Semantics Engineering with PLT Redex","author":"M Felleisen","year":"2009","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex, 1st edn. The MIT Press, Cambridge (2009)","edition":"1"},{"issue":"3","key":"8_CR16","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1017\/S0956796802004604","volume":"13","author":"A Fischbach","year":"2003","unstructured":"Fischbach, A., Hannan, J.: Specification and correctness of lambda lifting. J. Funct. Program. 13(3), 509\u2013543 (2003). \n                      https:\/\/doi.org\/10.1017\/S0956796802004604","journal-title":"J. Funct. Program."},{"key":"8_CR17","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Inc., Upper Saddle River (1985)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-11512-7_5","volume-title":"Concurrency, Compositionality, and Correctness","author":"C Huizing","year":"2010","unstructured":"Huizing, C., Koymans, R., Kuiper, R.: A small step for mankind. In: Dams, D., Hannemann, U., Steffen, M. (eds.) Concurrency, Compositionality, and Correctness. LNCS, vol. 5930, pp. 66\u201373. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-11512-7_5"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/3-540-15975-4_37","volume-title":"Functional Programming Languages and Computer Architecture","author":"T Johnsson","year":"1985","unstructured":"Johnsson, T.: Lambda lifting: transforming programs to recursive equations. In: Jouannaud, J.-P. (ed.) FPCA 1985. LNCS, vol. 201, pp. 190\u2013203. Springer, Heidelberg (1985). \n                      https:\/\/doi.org\/10.1007\/3-540-15975-4_37"},{"issue":"4","key":"8_CR20","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1145\/1146809.1146811","volume":"28","author":"G Klein","year":"2006","unstructured":"Klein, G., Nipkow, T.: A machine-checked model for a Java-like language, virtual machine, and compiler. ACM Trans. Program. Lang. Syst. 28(4), 619\u2013695 (2006). \n                      https:\/\/doi.org\/10.1145\/1146809.1146811","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR21","doi-asserted-by":"publisher","unstructured":"Kumar, R., Myreen, M.O., Norrish, M., Owens, S.: CakeML: a verified implementation of ML. In: POPL 2014, pp. 179\u2013191. ACM, New York (2014). \n                      https:\/\/doi.org\/10.1145\/2535838.2535841","DOI":"10.1145\/2535838.2535841"},{"issue":"2","key":"8_CR22","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1016\/j.ic.2007.12.004","volume":"207","author":"X Leroy","year":"2009","unstructured":"Leroy, X., Grall, H.: Coinductive big-step operational semantics. Inf. Comput. 207(2), 284\u2013304 (2009). \n                      https:\/\/doi.org\/10.1016\/j.ic.2007.12.004","journal-title":"Inf. Comput."},{"key":"8_CR23","doi-asserted-by":"publisher","unstructured":"Midtgaard, J., Ramsey, N., Larsen, B.: Engineering definitional interpreters. In: PPDP 2013, pp. 121\u2013132. ACM, New York (2013). \n                      https:\/\/doi.org\/10.1145\/2505879.2505894","DOI":"10.1145\/2505879.2505894"},{"key":"8_CR24","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"R Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Macqueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997)"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S1571-0661(04)80969-1","volume":"45","author":"LR Nielsen","year":"2001","unstructured":"Nielsen, L.R.: A selective CPS transformation. Electr. Notes Theor. Comput. Sci. 45, 311\u2013331 (2001). \n                      https:\/\/doi.org\/10.1016\/S1571-0661(04)80969-1","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"4","key":"8_CR26","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1023\/A:1010027404223","volume":"11","author":"JC Reynolds","year":"1998","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. High. Order Symbolic Comput. 11(4), 363\u2013397 (1998). \n                      https:\/\/doi.org\/10.1023\/A:1010027404223","journal-title":"High. Order Symbolic Comput."},{"issue":"6","key":"8_CR27","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","volume":"79","author":"G Ro\u015fu","year":"2010","unstructured":"Ro\u015fu, G., \u015eerb\u0103nu\u0163\u0103, T.F.: An overview of the K semantic framework. J. Logic Algebraic Program. 79(6), 397\u2013434 (2010). \n                      https:\/\/doi.org\/10.1016\/j.jlap.2010.03.012","journal-title":"J. Logic Algebraic Program."},{"issue":"1","key":"8_CR28","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1023\/A:1010026413531","volume":"13","author":"C Strachey","year":"2000","unstructured":"Strachey, C., Wadsworth, C.P.: Continuations: a mathematical semantics for handling full jumps. High. Order Symbolic Comput. 13(1), 135\u2013152 (2000). \n                      https:\/\/doi.org\/10.1023\/A:1010026413531","journal-title":"High. Order Symbolic Comput."},{"issue":"1","key":"8_CR29","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A Wright","year":"1994","unstructured":"Wright, A., Felleisen, M.: A syntactic approach to type soundness. Inf. Comput. 115(1), 38\u201394 (1994). \n                      https:\/\/doi.org\/10.1006\/inco.1994.1093","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17184-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T09:23:52Z","timestamp":1558344232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17184-1_8"}},"subtitle":["A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts"],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030171834","9783030171841"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17184-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESOP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esop2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2019\/esop","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"86","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"28","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"33% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3,2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"12","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}