{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T08:47:37Z","timestamp":1790412457351,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540633983","type":"print"},{"value":"9783540695370","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0033856","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:27:37Z","timestamp":1134286057000},"page":"369-388","source":"Crossref","is-referenced-by-count":36,"title":["DrScheme: A pedagogic programming environment for scheme"],"prefix":"10.1007","author":[{"given":"Robert Bruce","family":"Findler","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cormac","family":"Flanagan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Flatt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shriram","family":"Krishnamurthi","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":[[2005,6,21]]},"reference":[{"key":"24_CR1","unstructured":"Abelson, H., G. J. Sussman and J. Sussman. Structure and Interpretation of Computer Programs. MIT Press, 1985."},{"key":"24_CR2","unstructured":"AT&T Bell Labratories. Standard ML of New Jersey, 1993."},{"key":"24_CR3","unstructured":"Blume, M. Standard ML of New Jersey compilation manager. Manual accompanying SML\/NJ software, 1995."},{"key":"24_CR4","unstructured":"Borland. Borland C++, 1987, 1994."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Bourdoncle, F. Abstract debugging of higher-order imperative languages. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 46\u201355, 1993.","DOI":"10.1145\/155090.155095"},{"key":"24_CR6","unstructured":"Cadence Research Systems. Chez Scheme Reference Manual, 1994."},{"key":"24_CR7","unstructured":"Clinger, W. and J. Rees, The revised4 report on the algorithmic language Scheme ACM Lisp Pointers, 4(3), July 1991."},{"issue":"4","key":"24_CR8","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF01806308","volume":"5","author":"R. K. Dybvig","year":"1993","unstructured":"Dybvig, R. K., R. Hieb and C. Bruggeman. Syntactic abstraction in Scheme. Lisp and Symbolic Computation, 5(4):295\u2013326, December 1993.","journal-title":"Lisp and Symbolic Computation"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Felleisen, M. An extended \u03bb-calculus for Scheme. In ACM Symposium on Lisp and Functional Programming, pages 72\u201384, 1988.","DOI":"10.1145\/62678.62686"},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0167-6423(91)90036-W","volume":"17","author":"M. Felleisen","year":"1991","unstructured":"Felleisen, M. On the expressive power of programming languages. Science of Computer Programming, 17:35\u201375, 1991.","journal-title":"Science of Computer Programming"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Felleisen, M. and R. Hieb. The revised report on the syntactic theories of sequential control and state. In Proceedings of Theoretical Computer Science, pages 235\u2013271, 1992.","DOI":"10.1016\/0304-3975(92)90014-7"},{"key":"24_CR12","unstructured":"Findler, R. B. and M. Flatt. PLT MrEd: Graphical toolbox manual. Technical Report TR97-279, Rice University, 1997."},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Flanagan, C. and M. Felleisen. Componential set-based analysis. In ACM SIGPLAN Conference on Programming Language Design and Implementation, 1997.","DOI":"10.1145\/258915.258937"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Flanagan, C., M. Flatt, S. Krishnamurthi, S. Weirich and M. Felleisen. Catching bugs in the web of program invariants. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 23\u201332, May 1996.","DOI":"10.1145\/231379.231387"},{"key":"24_CR15","unstructured":"Flatt, M. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997."},{"issue":"7","key":"24_CR16","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/17919.806839","volume":"20","author":"N. Francez","year":"1985","unstructured":"Francez, N., S. Goldenberg, R. Y. Pinter, M. Tiomkin and S. Tsur. An environment for logic programming. SIGPLAN Notices, 20(7):179\u2013190, July 1985.","journal-title":"SIGPLAN Notices"},{"key":"24_CR17","unstructured":"Hanson, C., The MIT Scheme Team and A Cast of Thousands. MIT Scheme Reference, 1993."},{"key":"24_CR18","unstructured":"Harlequin Inc. MLWorks, 1996."},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Harper, R., P. Lee, F. Pfenning and E. Rollins.Incremental recompilation for Standard ML of New Jersey. Technical Report CMU-CS-94-116, Carnegie Mellon University, 1994.","DOI":"10.21236\/ADA276522"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Heintze, N. Set based analysis of ML programs. In ACM Symposium on Lisp and Functional Programming, 1994.","DOI":"10.1145\/182409.182495"},{"key":"24_CR21","series-title":"Technical Report 84-074","volume-title":"A Prolog environment","author":"J. Hsiang","year":"1984","unstructured":"Hsiang, J. and M. Srivas. A Prolog environment. Technical Report 84-074, State University of New York at Stony Brook, Stony Brook, New York, July 1984."},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Kohlbecker, E. E., D. P. Friedman, M. Felleisen and B. F. Duba. Hygienic macro expansion. In ACM Symposium on Lisp and Functional Programming, pages 151\u2013161, 1986.","DOI":"10.1145\/319838.319859"},{"key":"24_CR23","unstructured":"Kohlbecker Jr, E. E. Syntactic Extensions in the Programming Language Lisp. PhD thesis, Indiana University, August 1986."},{"issue":"7","key":"24_CR24","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/17919.806840","volume":"20","author":"H. J. Komorowski","year":"1985","unstructured":"Komorowski, H. J. and S. Omori. A model and an implementation of a logic programming environment. SIGPLAN Notices, 20(7):191\u2013198, July 1985.","journal-title":"SIGPLAN Notices"},{"key":"24_CR25","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/52.17800","volume":"5","author":"T. Koschmann","year":"1988","unstructured":"Koschmann, T. and M. W. Evens. Bridging the gap between object-oriented and logic programming. IEEE Software, 5:36\u201342, July 1988.","journal-title":"IEEE Software"},{"key":"24_CR26","unstructured":"Krishnamurthi, S. Zodiac: A framework for building interactive programming tools. Technical Report TR96-262, Rice University, 1996."},{"issue":"10","key":"24_CR27","first-page":"209","volume":"13","author":"A. Lane","year":"1988","unstructured":"Lane, A. Turbo Prolog revisited. BYTE, 13(10):209\u2013212, October 1988.","journal-title":"BYTE"},{"key":"24_CR28","unstructured":"Leroy, X. The Objective Caml system, documentation and user's guide, 1997."},{"key":"24_CR29","unstructured":"Metrowerks. CodeWarrior, 1993\u20131996."},{"key":"24_CR30","unstructured":"Microsoft. Microsoft Developer Studio, 1995."},{"key":"24_CR31","unstructured":"Milner, R., M. Tofte and R. Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"24_CR32","unstructured":"Reid, R. J.First-course language for computer science majors. Posting to comp.edu, October 1995."},{"key":"24_CR33","unstructured":"EdScheme: A Modern Lisp, 1991."},{"key":"24_CR34","unstructured":"Schemer's Inc. and Terry Kaufman. Scheme in colleges and high schools. Available on the web. URL:http:\/\/www.schemers. com\/schools.html."},{"key":"24_CR35","unstructured":"Stallman, R. GNU Emacs Manual. Free Software Foundation Inc., 675 Mass. Ave., Cambridge, MA 02139, 1987."},{"key":"24_CR36","unstructured":"Texas Instruments. PC Scheme User's Guide & Language Reference Manual-Student Edition, 1988."},{"key":"24_CR37","doi-asserted-by":"crossref","unstructured":"Wadler, P. A critique of Abelson and Sussman, or, why calculating is better than scheming. SIGPLAN Notices, 22(3), March 1987.","DOI":"10.1145\/24697.24706"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0033856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:51:18Z","timestamp":1586613078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0033856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633983","9783540695370"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/bfb0033856","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}