{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:02:09Z","timestamp":1756310529507},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221197"},{"type":"electronic","value":"9783540259350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25935-0_14","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T19:46:50Z","timestamp":1279828010000},"page":"239-253","source":"Crossref","is-referenced-by-count":7,"title":["Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Fischer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eelco","family":"Visser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Buntine, W., Fischer, B., Gray, A.G.: Automatic derivation of the multinomial PCA algorithm. Technical report, NASA\/Ames (2003), Available at: http:\/\/ase.arc.nasa.gov\/people\/fischer\/"},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1613\/jair.62","volume":"2","author":"W.L. Buntine","year":"1994","unstructured":"Buntine, W.L.: Operations for learning with graphical models. JAIR\u00a02, 159\u2013225 (1994)","journal-title":"JAIR"},{"issue":"2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science\u00a0285(2), 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"14_CR4","unstructured":"Cordy, J.R., Carmichael, I.H., Halliday, R.: The TXL Programming Language, Version 8 (April 1995)"},{"key":"14_CR5","series-title":"AMAST Series in Computing","doi-asserted-by":"crossref","DOI":"10.1142\/3163","volume-title":"Language Prototyping. An Algebraic Specification Approach","author":"A. Deursen van","year":"1996","unstructured":"van Deursen, A., Heering, J., Klint, P.: Language Prototyping. An Algebraic Specification Approach, September 1996. AMAST Series in Computing, vol.\u00a05. World Scientific, Singapore (1996)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Fischer, B., Hajian, A., Knuth, K., Schumann, J.: Automatic derivation of statistical data analysis algorithms: Planetary nebulae and beyond. Technical report, NASA\/Ames (2003), Available at: http:\/\/ase.arc.nasa.gov\/people\/fischer\/","DOI":"10.1063\/1.1751372"},{"key":"14_CR7","first-page":"337","volume-title":"Proc. 18th ASE","author":"B. Fischer","year":"2003","unstructured":"Fischer, B., Schumann, J.: Applying autobayes to the analysis of planetary nebulae images. In: Grundy, J., Penix, J. (eds.) Proc. 18th ASE, Montreal, Canada, October 6-10, pp. 337\u2013342. IEEE Comp. Soc. Press, Los Alamitos (2003)"},{"issue":"3","key":"14_CR8","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1017\/S0956796802004562","volume":"13","author":"B. Fischer","year":"2003","unstructured":"Fischer, B., Schumann, J.: AutoBayes: A system for generating data analysis programs from statistical models. JFP\u00a013(3), 483\u2013508 (2003)","journal-title":"JFP"},{"key":"14_CR9","first-page":"689","volume-title":"NIPS 15","author":"G. Gray","year":"2003","unstructured":"Gray, G., Fischer, B., Schumann, J., Buntine, W.: Automatic derivation of statistical algorithms: The EM family and beyond. In: Becker, S., Thrun, S., Obermayer, K. (eds.) NIPS 15, pp. 689\u2013696. MIT Press, Cambridge (2003)"},{"key":"14_CR10","series-title":"Wiley Series in Probability and Statistics","volume-title":"The EM Algorithm and Extensions","author":"G. McLachlan","year":"1997","unstructured":"McLachlan, G., Krishnan, T.: The EM Algorithm and Extensions. Wiley Series in Probability and Statistics. John Wiley & Sons, New York (1997)"},{"key":"14_CR11","volume-title":"Numerical Recipes in C","author":"W.H. Press","year":"1992","unstructured":"Press, W.H., Flannery, B.P., Teukolsky, S.A., Vetterling, W.T.: Numerical Recipes in C, 2nd edn. Cambridge Univ. Press, Cambridge (1992)","edition":"2"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45937-5_12","volume-title":"Compiler Construction","author":"M.G.J. Brand den van","year":"2002","unstructured":"den van Brand, M.G.J., Scheerder, J., Vinju, J.J., Visser, E.: Disambiguation filters for scannerless generalized LR parsers. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 143\u2013158. Springer, Heidelberg (2002)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-25935-0_13","volume-title":"Domain-Specific Program Generation","author":"E. Visser","year":"2004","unstructured":"Visser, E.: Program transformation with Stratego\/XT. Rules, strategies, tools, and systems in Stratego\/XT 0.9. In: Lengauer, C., Batory, D., Consel, C., Odersky, M. (eds.) Domain-Specific Program Generation. LNCS, vol.\u00a03016, pp. 216\u2013238. Springer, Heidelberg (2004)"},{"key":"14_CR14","unstructured":"Visser, E.: Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam (September 1997)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-45821-2_19","volume-title":"Generative Programming and Component Engineering","author":"E. Visser","year":"2002","unstructured":"Visser, E.: Meta-programming with concrete object syntax. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol.\u00a02487, pp. 299\u2013315. Springer, Heidelberg (2002)"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/289423.289425","volume-title":"Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP 1998)","author":"E. Visser","year":"1998","unstructured":"Visser, E., Benaissa, Z.-e.-A., Tolmach, A.: Building program optimizers with rewriting strategies. In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP 1998), September 1998, pp. 13\u201326. ACM Press, New York (1998)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-45614-7_25","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"M. Whalen","year":"2002","unstructured":"Whalen, M., Schumann, J., Fischer, B.: Synthesizing certified code. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 431\u2013450. Springer, Heidelberg (2002)"},{"key":"14_CR18","unstructured":"Wielemaker, J.: SWI-Prolog 5.2.9 Reference Manual, Amsterdam (2003)"}],"container-title":["Lecture Notes in Computer Science","Domain-Specific Program Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25935-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:58:43Z","timestamp":1605761923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25935-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221197","9783540259350"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25935-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}