{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T00:10:20Z","timestamp":1737504620202,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664956"},{"type":"electronic","value":"9783540482383"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48238-5_14","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T18:18:54Z","timestamp":1193509134000},"page":"171-182","source":"Crossref","is-referenced-by-count":7,"title":["Inferring Flow of Control in Program Synthesis by Example"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Schr\u00f6dl","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Edelkamp","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"14_CR1","unstructured":"A. V. Aho, J. E. Hopcroft, and J. Ullman. The design and analysis of computer algorithms. Addison-Wesley, 1974."},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/S0019-9958(81)90090-5","volume":"51","author":"D. Angluin","year":"1981","unstructured":"D. Angluin. A note on the number of queries needed to identify regular languages. Information and Control, 51(1):76\u201387, 1981.","journal-title":"Information and Control"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/322326.322334","volume":"29","author":"D. Angluin","year":"1982","unstructured":"D. Angluin. Inferrence of reversible languages. Journal of the Association of Computing Machinery, 29:741\u2013765, 1982.","journal-title":"Journal of the Association of Computing Machinery"},{"issue":"8","key":"14_CR4","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1109\/TSMC.1978.4310035","volume":"8","author":"A. W. Biermann","year":"1978","unstructured":"A. W. Biermann. The inference of regular lisp programs from examples. IEEE Trans. on Systems, Man, and Cybernetics, 8(8):585\u2013600, 1978.","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"14_CR5","unstructured":"A. Cypher, editor. Watch What I Do: Programming by Demonstration. MIT Press, 1993."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"P. Flener. Logic Program Synthesis from Incomplete Information. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-1-4615-2205-8"},{"issue":"3","key":"14_CR7","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S0020-7373(76)80005-3","volume":"8","author":"B. Gaines","year":"1976","unstructured":"B. Gaines. Behaviour\/structure transformations under uncertainty. International Journal of Man-Machine Studies, 8(3):337\u2013365, 1976.","journal-title":"International Journal of Man-Machine Studies"},{"issue":"5","key":"14_CR8","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. M. Gold","year":"1967","unstructured":"E. M. Gold. Language identification in the limit. Information and Control, 10(5):447\u2013474, 1967.","journal-title":"Information and Control"},{"issue":"3","key":"14_CR9","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1016\/S0019-9958(78)90562-4","volume":"37","author":"E. M. Gold","year":"1978","unstructured":"E. M. Gold. Complexity of automaton identification from given data. Information and Control, 37(3):302\u2013320, 1978.","journal-title":"Information and Control"},{"key":"14_CR10","volume-title":"The Art of Computer Programming, Volume 3: Sorting and Searching","author":"D. E. Knuth","year":"1973","unstructured":"D. E. Knuth. The Art of Computer Programming, Volume 3: Sorting and Searching. Addison-Wesley Publishing Company, Reading, 1973."},{"key":"14_CR11","unstructured":"R. Parekh, C. Nichitiu, and V. Honovar. A polynomial time incremental algorithm for regular grammar inference. Technical Report 97-03, Department of computer science, Iowa State University, 1997."},{"key":"14_CR12","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.25","volume":"1","author":"J. C. Schlimmer","year":"1993","unstructured":"J. C. Schlimmer and L. A. Hermens. Software agents: Completing patterns and constructing user interfaces. Journal of Artificial Intelligence Research, 1:61\u201389, 1993.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"E. Y. Shapiro. Algorithmic Program Debuggging. PhD thesis, Yale University, 1983. Published under the same title by MIT press.","DOI":"10.7551\/mitpress\/1192.001.0001"}],"container-title":["Lecture Notes in Computer Science","KI-99: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48238-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T23:34:55Z","timestamp":1737502495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48238-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664956","9783540482383"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48238-5_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}