{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:35:20Z","timestamp":1725712520095},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540196679"},{"type":"electronic","value":"9781447138105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-1-4471-3810-5_4","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T16:31:29Z","timestamp":1357835489000},"page":"44-53","source":"Crossref","is-referenced-by-count":2,"title":["An Algorithmic and Semantic Approach to Debugging"],"prefix":"10.1007","author":[{"given":"Cordelia","family":"Hall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Hammond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"O\u2019Donnell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Fischer, R., \u201cFunctional Programming and FPCA \u201889,\u201d Dr. Dobb\u2019s Journal, pp. 97\u2013102, (December 1989)."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Hammond, K., \u201cException Handling in a Parallel Functional Language: PSML,\u201d Proc. IEEE TENCON 89, Bombay, India, pp. 169\u2013173, (1989).","DOI":"10.1109\/TENCON.1989.176920"},{"key":"4_CR3","volume-title":"Parallel SML: A functional language and its implementation in Dactl","author":"K Hammond","year":"1990","unstructured":"Hammond, K., Parallel SML: A functional language and its implementation in Dactl, Pitman Press, London, 1990."},{"key":"4_CR4","volume-title":"Preparation","author":"Hammond","year":"1990","unstructured":"Hammond, K., \u201cThe use of Assertions for Algorithmic Debugging in Haskell,\u201d University of Glasgow, in preparation, 1990."},{"key":"4_CR5","volume-title":"Preparation","author":"CV Hall","year":"1990","unstructured":"Hall, C.V., Hammond, K. and O\u2019Donnell, J.T., \u201cDebugging Functional Languages in the Presence of Separate Compilation,\u201d University of Glasgow, in preparation, 1990."},{"key":"4_CR6","first-page":"60","volume":"1985","author":"CV Hall","year":"1985","unstructured":"Hall, C.V. and O\u2019Donnell, J.T., \u201cDebugging in a side effect free programming environment,\u201d 1985 ACM SIGPLAN Symposium on Programming Languages and Programming Environments, June 1985, pp. 60\u201368, (1985).","journal-title":"June"},{"key":"4_CR7","unstructured":"Dimitri Mihalas, Hubble; RISKS digest #10.14, June 29th, 1990, moderated by Von Neumann, P.G., (1990)."},{"key":"4_CR8","volume-title":"The Definition of Standard ML","author":"R Milner","year":"1990","unstructured":"Milner, R., Tofte, M. and Harper, R., The Definition of Standard ML, MIT Press, Cambridge, Mass., (1990)."},{"key":"4_CR9","first-page":"19","volume":"1985","author":"J O\u2019Donnell","year":"1985","unstructured":"O\u2019Donnell, J. T., \u201cDialogues: a basis for constructing programming environments,\u201d 1985 ACM SIGPLAN Symposium on Programming Languages and Programming Environments, June 1985, pp. 19\u201327, (1985).","journal-title":"June"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF01806168","volume":"1","author":"JT O\u2019Donnell","year":"1989","unstructured":"O\u2019Donnell, J. T. and Hall, C. V., \u201cDebugging in applicative languages,\u201d Lisp and Symbolic Computation, Vol. 1, No. 2, pp. 113\u2013145, (1989).","journal-title":"Lisp and Symbolic Computation"},{"key":"4_CR11","unstructured":"Ramamoorthy, C.V. and-Ho, S.F., \u201cTesting Large Software with Automated Software Evaluation Methods,\u201d in Current Trends in Programming Methodology, Vol II, Yeh, R.T. (ed.), Prentice-Hall, Englewood Cliffs, N.J., pp. 112\u2013150, (1977)."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Sannella, D. and Tarlecki, A. \u201cProgram Specification and Development in Extended ML,\u201d Proc. 1985 ACM Symposium on Principles of Programming Languages, pp. 67\u201377, (1985).","DOI":"10.1145\/318593.318614"},{"key":"4_CR13","volume-title":"Algorithmic Program Debugging","author":"EY Shapiro","year":"1982","unstructured":"Shapiro, E.Y., Algorithmic Program Debugging, ACM Distinguished Doctoral Dissertation Series, MIT Press, (1982)."},{"key":"4_CR14","first-page":"1","volume":"1990","author":"AP Tolmach","year":"1990","unstructured":"Tolmach, A.P. and Appel, A.W. \u201cDebugging Standard ML without Reverse Engineering,\u201d Proc. ACM conf. on Lisp and FP 90, Nice, France, June 1990, pp. 1\u201312, (1990).","journal-title":"June"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Wadler, P.L., \u201cComprehending Monads,\u201d Proc. ACM Symposium on Lisp and Functional Programming, pp. 61\u201378, (1990).","DOI":"10.1145\/91556.91592"}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1990"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3810-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T04:57:32Z","timestamp":1562561852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3810-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540196679","9781447138105"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3810-5_4","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1991]]}}}