{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T20:03:31Z","timestamp":1649102611502},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540603597","type":"print"},{"value":"9783540450481","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026809","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:29:45Z","timestamp":1132378185000},"page":"1-23","source":"Crossref","is-referenced-by-count":11,"title":["A generic program for sequential decision processes"],"prefix":"10.1007","author":[{"given":"Oege","family":"de Moor","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"1_CR1","unstructured":"A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974."},{"key":"1_CR2","unstructured":"R. C. Backhouse, P. De Bruin, G. Malcolm, T. S. Voermans, and J. C. S. P. Van der Woude. Relational catamorphisms. In B. M\u00f6ller, editor, Proceedings of the IFIP TC2\/WG2.1 Working Conference on Constructing Programs, pages 287\u2013318. Elsevier Science Publishers B.V., 1991."},{"key":"1_CR3","unstructured":"Roland Backhouse, Henk Doornbos, and Paul Hoogendijk. Commuting relators. Technical Report. Available by anonymous ftp from ftp.win.tue.nl, directory pub\/math. prog. construction., 1992."},{"key":"1_CR4","unstructured":"R. Bellman. Dynamic Programming. Princeton University Press, 1957."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"R. S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume 36 of NATO ASI Series F, pages 3\u201342. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-87374-4_1"},{"issue":"1","key":"1_CR6","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01211316","volume":"5","author":"R. S. Bird","year":"1993","unstructured":"R. S. Bird and O. de Moor. List partitions. Formal Aspects of Computing, 5(1):61\u201378, 1993.","journal-title":"Formal Aspects of Computing"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"R. S. Bird and O. de Moor. Solving optimisation problems with catamorphisms. In Mathematics of Program Construction, volume 669 of Springer Lecture Notes in Computer Science, 1993.","DOI":"10.1007\/3-540-56625-2_7"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"R. S. Bird and O. de Moor. Algebra of Programming. Prentice-Hall, To appear, 1996.","DOI":"10.1007\/978-3-642-61455-2_12"},{"key":"1_CR9","unstructured":"R. S. Bird, P. Hoogendijk, and O. de Moor. Generic programming with relations and functors. Submitted to Journal of Functional Programming, 1993."},{"key":"1_CR10","volume-title":"The MIT electrical engineering and computer science series","author":"T. H. Cormen","year":"1990","unstructured":"T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. The MIT electrical engineering and computer science series. MIT Press, Cambridge, Mass.; London\/McGraw-Hill, New York, 1990."},{"key":"1_CR11","unstructured":"E. V. Denardo. Dynamic Programming \u2014 Models and Applications. Prentice-Hall, 1982."},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1145\/146637.146656","volume":"39","author":"D. Eppstein","year":"1992","unstructured":"D. Eppstein, Z. Galil, R. Giancarlo, and G. F. Italiano. Sparse dynamic programming II: Convex and concave cost functions. Journal of the ACM, 39:546\u2013567, 1992.","journal-title":"Journal of the ACM"},{"key":"1_CR13","unstructured":"A. Gibbons and W. Rytter. Efficient Parallel Algorithms. Cambridge University Press, 1988."},{"issue":"2","key":"1_CR14","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1137\/0606032","volume":"6","author":"P. Helman","year":"1985","unstructured":"P. Helman and A. Rosenthal. A comprehensive model of dynamic programming. SIAM Journal on Algebraic and Discrete Methods, 6(2):319\u2013334, 1985.","journal-title":"SIAM Journal on Algebraic and Discrete Methods"},{"issue":"4","key":"1_CR15","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1137\/0216043","volume":"16","author":"D. S. Hirschberg","year":"1987","unstructured":"D. S. Hirschberg and L. L. Larmore. The least weight subsequence problem. SIAM Journal on Computing, 16(4):628\u2013638, 1987.","journal-title":"SIAM Journal on Computing"},{"key":"1_CR16","unstructured":"B. Jay. Matrices, monads and the Fast Fourier transform. Available by anonymous ftp from ftp.socs.uts.edu.au directory pub\/jay, August 1993."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"J. Jeuring. Polytypic pattern matching. In S. Peyton Jones, editor, Proceedings of the 7th Conference on Functional Programming Languages and Computer Architecture, FPCA '91, 1995.","DOI":"10.1145\/224164.224212"},{"issue":"1","key":"1_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1287\/moor.8.1.1","volume":"8","author":"D. S. Johnson","year":"1983","unstructured":"D. S. Johnson and K. A. Niemi. On knapsacks, partitions, and a new dynamic programming technique for trees. Mathematics of Operations Research, 8(1):1\u201315, 1983.","journal-title":"Mathematics of Operations Research"},{"issue":"3","key":"1_CR19","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1137\/0115060","volume":"15","author":"R.M. Karp","year":"1967","unstructured":"R.M. Karp and M. Held. Finite-state processes and dynamic programming. SIAM Journal on Applied Mathematics, 15(3):693\u2013718, 1967.","journal-title":"SIAM Journal on Applied Mathematics"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"E. Meijer and G. Hutton. Bananas in space: extending fold and unfold to exponential types. In S. Peyton Jones, editor, Proceedings of the 7th Conference on Functional Programming Languages and Computer Architecture, FPCA '91, 1995.","DOI":"10.1145\/224164.224225"},{"key":"1_CR21","unstructured":"E. Meijer and M. Jones. Gofer goes bananas. Unpublished manuscript, 1994."},{"key":"1_CR22","unstructured":"M. Z. Ning. A lazy algorithm for the 0\/1 knapsack problem. Technical Report (to appear), Oxford University Computing Laboratory, 1995."},{"key":"1_CR23","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0167-6423(90)90025-9","volume":"14","author":"D. R. Smith","year":"1990","unstructured":"D. R. Smith and M. R. Lowry. Algorithm theories and design tactics. Science of Computer Programming, 14:305\u2013321, 1990.","journal-title":"Science of Computer Programming"},{"key":"1_CR24","unstructured":"D.R. Smith. Structure and design of problem reduction generators. In B. M\u00f6ller, editor, Proc. of the IFIP TC2 Working Conference on Constructing Programs from Specifications. North-Holland, 1991."},{"issue":"4","key":"1_CR25","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1137\/0603055","volume":"3","author":"F. F. Yao","year":"1982","unstructured":"F. F. Yao. Speed-up in dynamic programming. SIAM Journal on Algebraic and Discrete Methods, 3(4):532\u2013540, 1982.","journal-title":"SIAM Journal on Algebraic and Discrete Methods"}],"container-title":["Programming Languages: Implementations, Logics and Programs","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T21:12:54Z","timestamp":1549314774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026809"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":25,"URL":"http:\/\/dx.doi.org\/10.1007\/bfb0026809","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1995]]}}}