{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:17:54Z","timestamp":1725477474241},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691747"},{"type":"electronic","value":"9783540691754"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11964681_6","type":"book-chapter","created":{"date-parts":[[2007,1,19]],"date-time":"2007-01-19T00:48:37Z","timestamp":1169167717000},"page":"91-105","source":"Crossref","is-referenced-by-count":1,"title":["Accurate Step Counting"],"prefix":"10.1007","author":[{"given":"Catherine","family":"Hope","sequence":"first","affiliation":[]},{"given":"Graham","family":"Hutton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","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":"M.S. Ager","year":"2005","unstructured":"Ager, M.S.: From natural semantics to abstract machines. In: Etalle, S. (ed.) LOPSTR 2004. LNCS, vol.\u00a03573, pp. 245\u2013261. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Ager, M.S., Biernacki, D., Danvy, O., Midtgaard, J.: A functional correspondence between evaluators and abstract machines. Technical Report RS-03-13, March 2003, pp. 28 Appears in, pp. 8\u201319 (2003)","key":"6_CR2","DOI":"10.7146\/brics.v10i13.21783"},{"issue":"5","key":"6_CR3","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.ipl.2004.02.012","volume":"90","author":"M.S. Ager","year":"2004","unstructured":"Ager, M.S., Danvy, O., Midtgaard, J.: A functional correspondence between call-by-need evaluators and lazy abstract machines. Information Processing Letters\u00a090(5), 223\u2013232 (2004); Extended version available as the technical report BRICS-RS-04-3","journal-title":"Information Processing Letters"},{"doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: ICFP, pp. 268\u2013279 (2000)","key":"6_CR4","DOI":"10.1145\/357766.351266"},{"doi-asserted-by":"crossref","unstructured":"Danvy, O.: A rational deconstruction of Landin\u2019s SECD machine. Technical Report RS-03-33 (October 2003)","key":"6_CR5","DOI":"10.7146\/brics.v10i33.21801"},{"unstructured":"Danvy, O.: On evaluation contexts, continuations, and the rest of the computation. Number CSR-04-1, pp. 13\u201323, Birmingham B15 2TT, United Kingdom, Invited talk (2004)","key":"6_CR6"},{"issue":"4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1017\/S0956796899003500","volume":"9","author":"G. Hutton","year":"1999","unstructured":"Hutton, G.: A Tutorial on the Universality and Expressiveness of Fold. Journal of Functional Programming\u00a09(4), 355\u2013372 (1999)","journal-title":"Journal of Functional Programming"},{"unstructured":"Hutton, G., Wright, J.: Calculating an Exceptional Machine. In: The Proceedings of the Fifth Symposium on Trends in Functional Programming (to appear, 2005)","key":"6_CR8"},{"unstructured":"Peyton Jones, S.: Haskell 98 language and libraries: The revised report. Technical report","key":"6_CR9"},{"unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)","key":"6_CR10"},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1023\/A:1010027404223","volume":"11","author":"J.C. Reynolds","year":"1998","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. Higher Order Symbol. Comput.\u00a011(4), 363\u2013397 (1998)","journal-title":"Higher Order Symbol. Comput."},{"issue":"2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/244795.244802","volume":"19","author":"P.M. Sansom","year":"1997","unstructured":"Sansom, P.M., Peyton Jones, S.L.: Formally based profiling for higher-order functional languages. ACM Trans. Program. Lang. Syst.\u00a019(2), 334\u2013385 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR13","volume-title":"Denotational semantics: a methodology for language development","author":"D.A. Schmidt","year":"1986","unstructured":"Schmidt, D.A.: Denotational semantics: a methodology for language development. William C. Brown Publishers, Dubuque (1986)"},{"key":"6_CR14","volume-title":"A Practical Introduction to Data Structures and Algorithm Analysis","author":"C.A. Shaffer","year":"2000","unstructured":"Shaffer, C.A.: A Practical Introduction to Data Structures and Algorithm Analysis. Prentice Hall PTR, Upper Saddle River (2000)"},{"key":"6_CR15","volume-title":"Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School","author":"P. Wadler","year":"1993","unstructured":"Wadler, P.: Monads for functional programming. In: Broy, M. (ed.) Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11964681_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:00:43Z","timestamp":1605625243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11964681_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540691747","9783540691754"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11964681_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}