{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T16:36:47Z","timestamp":1787503007755,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540418627","type":"print"},{"value":"9783540453093","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45309-1_21","type":"book-chapter","created":{"date-parts":[[2008,11,27]],"date-time":"2008-11-27T19:39:26Z","timestamp":1227814766000},"page":"320-334","source":"Crossref","is-referenced-by-count":24,"title":["Modeling an Algebraic Stepper"],"prefix":"10.1007","author":[{"given":"John","family":"Clements","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Flatt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"21_CR1","first-page":"567","volume":"34","author":"R. M. Balzer","year":"1969","unstructured":"Balzer, R. M. EXDAMS \u2015 EXtendable Debugging And Monitoring System. In AFIPS 1969 Spring Joint Computer Conference, volume 34, pages 567\u2013580. AFIPS Press, May 1969.","journal-title":"AFIPS 1969 Spring Joint Computer Conference"},{"key":"21_CR2","unstructured":"Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, revised edition, 1984."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Bernstein, K. L. and E. W. Stark. Operational semantics of a focusing debugger. In Eleventh Conference on the Mathematical Foundations of Programming Semantics, Volume 1 of Electronic Notes in Computer Science. Elsevier, March 1995.","DOI":"10.1016\/S1571-0661(04)80002-1"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Bertot, Y. Occurrences in debugger specifications. In ACM SIGPLAN Conference on Programming Language Design and Implementation, 1991.","DOI":"10.1145\/113445.113473"},{"key":"21_CR5","unstructured":"Felleisen, M. Programming languages and their calculi. Unpublished Manuscript. http:\/\/www.cs.rice.edu\/~matthias\/411\/mono.ps ."},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"102","author":"M. Felleisen","year":"1992","unstructured":"Felleisen, M. and R. Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 102:235\u2013271, 1992.","journal-title":"Theoretical Computer Science"},{"issue":"8","key":"21_CR7","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1145\/366707.367526","volume":"6","author":"H. E. Ferguson","year":"1963","unstructured":"Ferguson, H. E. and E. Berner. Debugging systems at the source language level. Communications of the ACM, 6(8):430\u2013432, August 1963.","journal-title":"Communications of the ACM"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Findler, R. B., J. Clements, C. Flanagan, M. Flatt, S. Krishnamurthi, P. Steckler and M. Felleisen. Drscheme: A programming environment for Scheme. Journal of Functional Programming, 2001.","DOI":"10.1017\/S0956796801004208"},{"key":"21_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/BFb0033856","volume-title":"International Symposium on Programming Languages: Implementations, Logics, and Programs","author":"R. B. Findler","year":"1997","unstructured":"Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In International Symposium on Programming Languages: Implementations, Logics, and Programs, number 1292 in Lecture Notes in Computer Science, pages 369\u2013388, 1997."},{"key":"21_CR10","unstructured":"Flatt, M. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Flatt, M., S. Krishnamurthi and M. Felleisen. Classes and mixins. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 171\u2013183, January 1998.","DOI":"10.1145\/268946.268961"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Hall, C. and J. O\u2019Donnell. Debugging in a side effect free programming environment. In ACM SIGPLAN symposium on Language issues in programming environments, 1985.","DOI":"10.1145\/800225.806827"},{"issue":"4","key":"21_CR13","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1017\/S0960129500001559","volume":"2","author":"J. Hannan","year":"1992","unstructured":"Hannan, J. and D. Miller. From operational semantics to abstract machines. Journal of Mathematical Structures in Computer Science, 2(4):415\u2013459, 1992.","journal-title":"Journal of Mathematical Structures in Computer Science"},{"key":"21_CR14","unstructured":"Kellomaki, P. Psd \u2015 a portable scheme debugger, Feburary 1995."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Kishon, A., P. Hudak and C. Consel. Monitoring semantics: a formal framework for specifying, implementing and reasoning about execution monitors. In ACM SIG-PLAN Conference on Programming Language Design and Implementation, pages 338\u2013352, June 1991.","DOI":"10.1145\/113445.113474"},{"key":"21_CR16","series-title":"Technical Report","volume-title":"PLT McMicMac: Elaborator manual","author":"S. Krishnamurthi","year":"1999","unstructured":"Krishnamurthi, S. PLT McMicMac: Elaborator manual. Technical Report 99-334, Rice University, Houston, TX, USA, 1999."},{"issue":"4","key":"21_CR17","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. J. Landin","year":"1964","unstructured":"Landin, P. J. The mechanical evaluation of expressions. Comput. J., 6(4):308\u2013320, 1964.","journal-title":"Comput. J."},{"key":"21_CR18","unstructured":"Milner, R. Communication and Concurrency. Prentice Hall, 1989."},{"issue":"3","key":"21_CR19","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1023\/A:1010087314987","volume":"11","author":"L. Moreau","year":"1998","unstructured":"Moreau, L. A syntactic theory of dynamic binding. Higher-Order and Symbolic Computation, 11(3):233\u2013279, 1998.","journal-title":"Higher-Order and Symbolic Computation"},{"key":"21_CR20","unstructured":"Naish, L. and T. Barbour. Towards a portable lazy functional declarative debugger. In 19th Australasian Computer Science Conference, 1996."},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Plotkin, G. D. Call-by-name, call-by-value and the \u03bb-calculus. Theoretical Computer Science, pages 125\u2013159, 1975.","DOI":"10.1016\/0304-3975(75)90017-1"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Sansom, P. and S. Peyton-Jones. Formally-based profiling for higher-order functional languages. ACM Transactions on Programming Languages and Systems, 19(1), January 1997.","DOI":"10.1145\/244795.244802"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Sparud, J. and C. Runciman. Tracing lazy functional computations using redex trails. In Symposium on Programming Language Implementation and Logic Programming, 1997.","DOI":"10.1007\/BFb0033851"},{"key":"21_CR24","unstructured":"Tolmach, A. Debugging Standard ML. PhD thesis, Department of Computer Science, Princeton University, October 1992."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45309-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T16:30:13Z","timestamp":1557937813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45309-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418627","9783540453093"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45309-1_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}