{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T15:55:04Z","timestamp":1649174104473},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1007\/bf03038309","type":"journal-article","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T00:03:39Z","timestamp":1240790619000},"page":"75-98","source":"Crossref","is-referenced-by-count":0,"title":["Derivation of algorithms by introduction of generation functions"],"prefix":"10.1007","volume":"13","author":[{"given":"Liangwei","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hideya","family":"Iwasaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masato","family":"Takeichi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"BF03038309_CR1","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1145\/1780.1781","volume":"6","author":"R. S. Bird","year":"1984","unstructured":"Bird, R. S., \u201cThe Promotion and Accumulation Strategies in Transformational Programming,\u201dACM Trans. Prog. Lang. Syst., 6, 2, pp. 487\u2013504, 1984.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"BF03038309_CR2","unstructured":"Bird, R. S.,Introduction to Functional Programming, Prentice Hall, 1988."},{"key":"BF03038309_CR3","doi-asserted-by":"crossref","unstructured":"Bird, R. S., \u201cAn Introduction to the Theory of Lists,\u201d inLogic of Programming and Calculi of Discrete Design (M. Broy, ed.),NATO ASI Series F: Vol. 36, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-87374-4_1"},{"issue":"1","key":"BF03038309_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264597","volume":"11","author":"J. Darlington","year":"1978","unstructured":"Darlington, J., \u201cA Synthesis of Several Sorting Algorithms,\u201dActa Informatica, 11, 1, pp. 1\u201330, 1978.","journal-title":"Acta Informatica"},{"key":"BF03038309_CR5","unstructured":"Drake, F. R.,Set Theory, North-Holland, 1974."},{"key":"BF03038309_CR6","doi-asserted-by":"crossref","unstructured":"Hudak, P. et al., \u201cReport on the Programming Language Haskell (Version 1.1),\u201dACM SIGPLAN Notices,27,5, 1992.","DOI":"10.1145\/130697.130699"},{"key":"BF03038309_CR7","unstructured":"Manna, Z.,The Logical Basis for Computer Programming, Addison-Wesley, 1985."},{"issue":"4","key":"BF03038309_CR8","first-page":"39","volume":"7","author":"K. Nogi","year":"1990","unstructured":"Nogi, K., \u201cDerivation of Algorithms Based on Structural Induction,\u201dComputer Software, 7, 4 pp. 39\u201359, 1990. [in Japanese]","journal-title":"Computer Software"},{"key":"BF03038309_CR9","unstructured":"Turner, D. A., \u201cFunctional Programs as Executable Specifications,\u201d inMathematical Logic and Programming Languages (C. A. R. Hoare and J. C. Shepherdson, eds.), Prentice Hall, 1985."},{"key":"BF03038309_CR10","volume-title":"Derivation of Algorithms by Introducing Generation Functions","author":"L. Xu","year":"1992","unstructured":"Xu, L., \u201cDerivation of Algorithms by Introducing Generation Functions,\u201dMaster\u2019s thesis, Information Engineering Course, University of Tokyo, Japan, 1992."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03038309.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03038309\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03038309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:44Z","timestamp":1558558364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03038309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF03038309"],"URL":"https:\/\/doi.org\/10.1007\/bf03038309","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}