{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:23:48Z","timestamp":1725607428401},"publisher-location":"Dordrecht","reference-count":46,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401047890"},{"type":"electronic","value":"9789401117937"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-94-011-1793-7_6","type":"book-chapter","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T15:40:00Z","timestamp":1315842000000},"page":"99-133","source":"Crossref","is-referenced-by-count":5,"title":["First Steps Towards Inferential Programming"],"prefix":"10.1007","author":[{"given":"William L.","family":"Scherlis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dana S.","family":"Scott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TSE.1981.230814","volume":"SE-7","author":"R Balzer","year":"1981","unstructured":"Balzer, R.: 1981, \u2018Transformational Implementation: An Example\u2019, IEEE Transactions on Software Engineering SE-7(1), 3\u201314.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR2","series-title":"Yale Research Report","volume-title":"\u2018The Roles of Knowledge and Deduction in Algorithm Design\u2019","author":"DR Barstow","year":"1980","unstructured":"Barstow, D. R.: 1980, \u2018The Roles of Knowledge and Deduction in Algorithm Design\u2019, Yale Research Report 178, April."},{"key":"6_CR3","volume-title":"Ph.D. Thesis","author":"JL Bates","year":"1979","unstructured":"Bates, J. L.: 1979, \u2018A Logic for Correct Program Development\u2019, Ph.D. Thesis, Cornell University."},{"key":"6_CR4","series-title":"Cornell University Technical Report","volume-title":"\u2018Proofs as Programs\u2019","author":"JL Bates","year":"1982","unstructured":"Bates, J. L. and Constable, R. L.: 1982, \u2018Proofs as Programs\u2019, Cornell University Technical Report."},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0167-6423(81)90006-X","volume":"1","author":"FL Bauer","year":"1981","unstructured":"Bauer, F. L. et al: 1981, \u2018Programming in a Wide Spectrum language: A Collection of Examples\u2019, Science of Computer Programming 1, 73\u2013114.","journal-title":"Science of Computer Programming"},{"key":"6_CR6","volume-title":"\u2018From Specifications to Machine Code: Program Construction through Formal Reasoning\u2019","author":"FL Bauer","year":"1982","unstructured":"Bauer, F. L.: 1982, \u2018From Specifications to Machine Code: Program Construction through Formal Reasoning\u2019, Sixth International Conference on Software Engineering."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(76)90011-4","volume":"7","author":"L Beckman","year":"1976","unstructured":"Beckman, L., Haraldsson, A., Oskarsson, \u00d6, and Sandewall, E.: 1976, \u2018A Partial Evaluator and its Use as a Programming Tool\u2019, Artificial Intelligence 7, 319\u2013357.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/TSE.1981.230815","volume":"SE-7","author":"M Broy","year":"1981","unstructured":"Broy, M. and Pepper, P.: 1981, \u2018Program Development as a Formal Activity\u2019, IEEE Transactions on Software Engineering SE-7(1), 14\u201322.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"RM Burstall","year":"1977","unstructured":"Burstall, R. M. and Darlington, J.: 1977, \u2018A Transformation System for Developing Recursive Programs\u2019, Journal of the ACM 24(1), 44\u201367.","journal-title":"Journal of the ACM"},{"key":"6_CR10","series-title":"Carnegie-Mellon University Technical Report","volume-title":"\u2018Learning by Analogy: Formulating and Generalizing Plans from Past Experience\u2019","author":"J Carbonell","year":"1982","unstructured":"Carbonell, J.: 1982, \u2018Learning by Analogy: Formulating and Generalizing Plans from Past Experience\u2019, Carnegie-Mellon University Technical Report."},{"key":"6_CR11","volume-title":"\u2018A Laboratory for the Study of Automatic Programmming\u2019","author":"TE Cheatham","year":"1972","unstructured":"Cheatham, T. E. and Wegbreit, B.: 1972, \u2018A Laboratory for the Study of Automatic Programmming\u2019, AFIPS Spring Joint Computer Conference 40."},{"key":"6_CR12","first-page":"53","volume-title":"\u2018A System for Program Refinement\u2019","author":"TE Cheatham","year":"1979","unstructured":"Cheatham, T. E., Townley, J. A., and Holloway, G. H.: 1979, \u2018A System for Program Refinement\u2019, Fourth International Conference on Software Engineering, 53\u201363."},{"issue":"1","key":"6_CR13","volume":"23","year":"1980","unstructured":"Clark, K. and Darlington, J.: 1980, \u2018Algorithm Classification through Synthesis\u2019, Computer Journal 23(1).","journal-title":"Computer Journal"},{"key":"6_CR14","volume-title":"Programming in PROLOG","author":"WF Clocksin","year":"1981","unstructured":"Clocksin, W. F. and Melish, C.S.: 1981, Programming in PROLOG, Springer-Verlag."},{"issue":"5","key":"6_CR15","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"RA Millo De","year":"1979","unstructured":"De Millo, R. A., Lipton, R. J., and Perlis, A. J.: 1979, \u2018Social Processes and Proofs of Theorems and Programs\u2019, Communications of the ACM 22(5), 271\u2013280.","journal-title":"Communications of the ACM"},{"issue":"12","key":"6_CR16","doi-asserted-by":"publisher","first-page":"803","DOI":"10.2307\/2025806","volume":"77","author":"M Detlefsen","year":"1980","unstructured":"Detlefsen, M. and Luker, M.: 1980, \u2018The Four-Color Theorem and Mathematical Proof\u2019, The Journal of Philosophy 77(12), 803\u2013820.","journal-title":"The Journal of Philosophy"},{"key":"6_CR17","volume-title":"Structured Programming","author":"EW Dijkstra","year":"1971","unstructured":"Dijkstra, E. W.: 1971. \u2018Notes on Structured Programming\u2019, in: Structured Programming, O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare (Eds.) Academic Press."},{"key":"6_CR18","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E. W.: 1976, A Discipline of Programming, Prentice-Hall."},{"key":"6_CR19","volume-title":"Formal Descriptions of Programming Concepts","author":"AP Ershov","year":"1978","unstructured":"Ershov, A. P.: 1978, \u2018On the Essence of Compilation\u2019, in: Formal Descriptions of Programming Concepts, E. J. Neuhold (Ed.), North-Holland."},{"issue":"1","key":"6_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357153.357154","volume":"4","author":"MS Feather","year":"1982","unstructured":"Feather, M. S.: 1982, \u2018A System for Assisting Program Transformation\u2019, ACM Transactions on Programming Languages and Systems 4(1), 1\u201320.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"8","key":"6_CR21","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/359138.359140","volume":"22","author":"RW Floyd","year":"1979","unstructured":"Floyd, R. W.: 1979, \u2018The Paradigms of Programming\u2019, Communications of the ACM 22(8), 455\u2013460.","journal-title":"Communications of the ACM"},{"key":"6_CR22","volume-title":"\u2018Automatic Construction of Special-Purpose Programs\u2019","author":"C Goad","year":"1982","unstructured":"Goad, C.: 1982, \u2018Automatic Construction of Special-Purpose Programs\u2019, 6th Conference on Automated Deduction."},{"key":"6_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09724-4","volume-title":"Edinburgh LCF","author":"MJ Gordon","year":"1979","unstructured":"Gordon, M. J., Milner, A. J., and Wadsworth, C. P.: 1979, Edinburgh LCF. Springer-Verlag Lecture Notes in Computer Science."},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0004-3702(78)80016-2","volume":"10","author":"CC Green","year":"1978","unstructured":"Green, C. C. and Barstow, D. R.: 1978, \u2018On Program Synthesis Knowledge\u2019, Artificial Intelligence 10, 241.","journal-title":"Artificial Intelligence"},{"key":"6_CR25","series-title":"Kestrel Institute Technical Report","volume-title":"\u2018Research on Knowledge-Based Programming and Algorithm Design\u2019","author":"C Green","year":"1981","unstructured":"Green, C. et al. 1981, \u2018Research on Knowledge-Based Programming and Algorithm Design\u2019, Kestrel Institute Technical Report."},{"key":"6_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Computer Programming","author":"D Gries","year":"1981","unstructured":"Gries, D.: 1981, The Science of Computer Programming, Springer-Verlag."},{"issue":"84","key":"6_CR27","first-page":"429","volume":"21","author":"W Haken","year":"1977","unstructured":"Haken, W., Appel, K. and Koch, J.: 1977, \u2018Every Planar Map is Four-Colorable\u2019, Illinois Journal of Mathematics 21(84), 429\u2013567.","journal-title":"Illinois Journal of Mathematics"},{"issue":"4","key":"6_CR28","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/356635.356640","volume":"6","author":"DE Knuth","year":"1974","unstructured":"Knuth, D. E.: 1974, \u2018Structured Programming with Goto Statements\u2019, Computing Surveys 6(4), 261\u2013301.","journal-title":"Computing Surveys"},{"key":"6_CR29","volume-title":"University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980","author":"G Kriesel","year":"1981","unstructured":"Kriesel, G.: 1981, \u2018Neglected Possibilities of Processing Assertions and Proofs Mechanically: Choice of Problems and Data\u2019, in: University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980. Stanford University."},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Manna, Z. and Waldinger, R.: 1979, \u2018Synthesis: dreams => programs\u2019, IEEE Transactions on Software Engineering SE-5(4).","DOI":"10.1109\/TSE.1979.234198"},{"key":"6_CR31","volume-title":"\u2018Constructive Mathematics and Computer Programming\u2019","author":"P Martin-L\u00f6f","year":"1979","unstructured":"Martin-L\u00f6f, P.: 1979, \u2018Constructive Mathematics and Computer Programming\u2019, 6th International Congress for Logic, Methodology and Philosophy of Science."},{"issue":"3","key":"6_CR32","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1145\/357172.357177","volume":"4","author":"R Paige","year":"1982","unstructured":"Paige, R. and Koenig, S.: 1982, \u2018Finite Differencing of Computable Expressions\u2019, ACM Transactions on Programming Languages and Systems 4(3), 402\u2013454.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR33","series-title":"Carnegie-Mellon University Technical Report","volume-title":"\u2018Deriving Efficient Graph Algorithms\u2019","author":"J Reif","year":"1982","unstructured":"Reif, J. and Scherlis, W. L.: 1982, \u2018Deriving Efficient Graph Algorithms\u2019, Carnegie-Mellon University Technical Report."},{"issue":"6","key":"6_CR34","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1109\/TSE.1978.233869","volume":"SE-4","author":"C Rich","year":"1978","unstructured":"Rich, C. and Shrobe, H.: 1978, \u2018Initial Report on a Lisp Programmer\u2019s Apprentice\u2019, IEEE Transactions on Software Engineering SE-4(6), 456\u2013467.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR35","first-page":"41","volume-title":"\u2018Program Improvement by Internal Specialization\u2019","author":"WL Scherlis","year":"1981","unstructured":"Scherlis, W. L.: 1981, \u2018Program Improvement by Internal Specialization\u2019, 8th Symposium on Principles of Programming Languages, pp. 41\u201349."},{"key":"6_CR36","volume-title":"\u2018On Programming, an Interim Report on the SETL Project\u2019","author":"JT Schwartz","year":"1973","unstructured":"Schwartz, J. T.: 1973, \u2018On Programming, an Interim Report on the SETL Project\u2019, Courant Institute of Mathematical Sciences, New York University."},{"key":"6_CR37","volume-title":"\u2018On Correct Program Technology\u2019","author":"JT Schwartz","year":"1979","unstructured":"Schwartz, J. T.: 1979, \u2018On Correct Program Technology\u2019, Courant Institute of Mathematical Sciences, New York University."},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Sintzoff, M.: 1980, \u2018Suggestions for Composing and Specifying Program Design Decisions\u2019, International Symposium on Programming, Springer-Verlag Lecture Notes in Computer Science.","DOI":"10.1007\/3-540-09981-6_22"},{"issue":"9","key":"6_CR39","doi-asserted-by":"publisher","first-page":"697","DOI":"10.2307\/2321855","volume":"87","author":"ER Swart","year":"1980","unstructured":"Swart, E. R.: 1980, \u2018The Philosophical Implications of the Four-Color Problem\u2019, American Mathematical Monthly 87(9), 697\u2013707.","journal-title":"American Mathematical Monthly"},{"issue":"7","key":"6_CR40","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1145\/358557.358572","volume":"25","author":"W Swartout","year":"1982","unstructured":"Swartout, W. and Balzer, R.: 1982, \u2018On the Inevitable Intertwining of Specification and Implementation\u2019, Communications of the ACM 25(7), 438\u2013440.","journal-title":"Communications of the ACM"},{"issue":"12","key":"6_CR41","doi-asserted-by":"publisher","first-page":"803","DOI":"10.2307\/2025805","volume":"77","author":"P Teller","year":"1980","unstructured":"Teller, P.: 1980, \u2018Computer Proof\u2019, The Journal of Philosophy 77(12), 803\u2013820.","journal-title":"The Journal of Philosophy"},{"key":"6_CR42","doi-asserted-by":"crossref","unstructured":"Tymoczko, T.: \u2018The Four-Color Problem and its Philosophical Significance\u2019, The Journal of Philosophy 66(2), 57\u201383.","DOI":"10.2307\/2025976"},{"issue":"1","key":"6_CR43","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/322169.322183","volume":"27","author":"M Wand","year":"1980","unstructured":"Wand, M.: 1980, \u2018Continuation-Based Program Transformation Strategies\u2019, Journal of the ACM 27(1), 164\u2013180.","journal-title":"Journal of the ACM"},{"key":"6_CR44","volume-title":"\u2018A Knowledge Based Program Editor\u2019","author":"RC Waters","year":"1981","unstructured":"Waters, R. C.: 1981. \u2018A Knowledge Based Program Editor\u2019, 7th International Joint Conference on Artificial Intelligence, Vancouver."},{"key":"6_CR45","unstructured":"Wile, D. S.: 1981, \u2018Program Developments as Formal Objects\u2019, USC\/Information Sciences Institute Technical Report."},{"issue":"4","key":"6_CR46","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N Wirth","year":"1971","unstructured":"Wirth, N.: 1971, \u2018Program Development by Stepwise Refinement\u2019, Communications of the ACM 14 (4), 221\u2013227.","journal-title":"Communications of the ACM"}],"container-title":["Studies in Cognitive Systems","Program Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-011-1793-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T16:03:36Z","timestamp":1620317016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-1793-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9789401047890","9789401117937"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-1793-7_6","relation":{},"ISSN":["0924-0780"],"issn-type":[{"type":"print","value":"0924-0780"}],"subject":[],"published":{"date-parts":[[1993]]}}}