{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T20:10:09Z","timestamp":1736107809527,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540541314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019359","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:26:33Z","timestamp":1132637193000},"page":"156-212","source":"Crossref","is-referenced-by-count":4,"title":["Inductive synthesis of dot expressions"],"prefix":"10.1007","author":[{"given":"Alvis","family":"Br\u0101zma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/0022-0000(80)90041-0","volume":"21","author":"D. Angluin","year":"1980","unstructured":"Angluin D. Finding patterns common to a set of strings. J.Compt. Syst. Sci., V21, 1980.,46\u201362.","journal-title":"J.Compt. Syst. Sci."},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-11157-3_28","volume":"122","author":"J. Barzdin","year":"1981","unstructured":"Barzdin J. On inductive synthesis of programs. Springer-Verlag, Lecture notes in Computer Sci., V122, 1981. 235\u2013254.","journal-title":"Springer-Verlag, Lecture notes in Computer Sci."},{"key":"7_CR3","unstructured":"Barzdin J. Some rules of inductive inference and their use for program synthesis. IFIP \u2014 83, North-Holland, 1983, 333\u2013338."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Barzdin J., Br\u0101zma A., Kinber J. Models of inductive syntactical synthesis. Machine Intellegece, 1990, N12, 139\u2013148.","DOI":"10.1093\/oso\/9780198538233.003.0010"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1109\/TSE.1976.233812","volume":"SE-2","author":"A.W. Bierman","year":"1976","unstructured":"Bierman A.W., Krisnaswamy R. Constructing programs from example computations. IEEE Trans.Soft.Eng., SE-2-1976, 141\u2013153.","journal-title":"IEEE Trans.Soft.Eng."},{"key":"7_CR6","unstructured":"Br\u0101zma A. The decidability of equivalence for graphical expressions. Theory of algorithms and programming, Riga, 1986, 103\u2013156 (in Russian)."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Br\u0101zma A., Etmane I. Inductive synthesis of for-expressions. Theory of algorithms and programming, Riga, 1986, 156\u2013189 (in Russian).","DOI":"10.1007\/BFb0019359"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0304-3975(86)90029-0","volume":"46","author":"A. Br\u0101zma","year":"1986","unstructured":"Br\u0101zma A., Kinber J. Generalized regular expressions \u2014 a language for synthesis of programs with branching in loops. Theoretical computer sc. V.46, North-Holland, 1986, 175\u2013195.","journal-title":"Theoretical computer sc."},{"key":"7_CR9","unstructured":"Etmane I. A certain formalization of the ellipsis notion. Informatics and semantics. V.27, Moscow, 121\u2013141 (in Russian)."},{"key":"7_CR10","unstructured":"Etmane I. An approach to inductive synthesis of programms. Programming, Moscow, 1988, N4, 5\u201316 (in Russian)."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Shapiro E. Algorithmic program debugging. MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"7_CR12","unstructured":"Muggleton S.,Buntine W. Towards constructive induction in first-order predicate calculus. TIRM-88-031, 1988."}],"container-title":["Lecture Notes in Computer Science","Baltic Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019359.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:49:15Z","timestamp":1736106555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019359"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540541314"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0019359","relation":{},"subject":[]}}