{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:05:33Z","timestamp":1725483933102},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438571"},{"type":"electronic","value":"9783540454427"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45442-x_1","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T00:55:08Z","timestamp":1179190508000},"page":"1-20","source":"Crossref","is-referenced-by-count":6,"title":["Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm"],"prefix":"10.1007","author":[{"given":"Robert","family":"Giegerich","sequence":"first","affiliation":[]},{"given":"Peter","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"1_CR1","volume-title":"The Theory of Parsing, Translation and Compiling","author":"A. V. Aho","year":"1973","unstructured":"A. V. Aho and J.D. Ullman. The Theory of Parsing, Translation and Compiling. Prentice-Hall, Englewood Cliffs, NJ, 1973. I and II."},{"unstructured":"R. Bellman. Dynamic Programming. Princeton University Press, 1957.","key":"1_CR2"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0019-9958(69)90065-5","volume":"14","author":"W.S. Brainerd","year":"1969","unstructured":"W.S. Brainerd. Tree generating regular systems. Information and Control, 14:217\u2013231, 1969.","journal-title":"Information and Control"},{"doi-asserted-by":"crossref","unstructured":"R. Durbin, S. Eddy, A. Krogh, and G. Mitchison. Biological Sequence Analysis. Cambridge University Press, 1998.","key":"1_CR4","DOI":"10.1017\/CBO9780511790492"},{"unstructured":"D. Evers and R. Giegerich. Reducing the conformation space in RNA structure prediction. In German Conference on Bioinformatics, pages 118\u2013124, 2001.","key":"1_CR5"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1093\/bioinformatics\/16.8.665","volume":"16","author":"R. Giegerich","year":"2000","unstructured":"R. Giegerich. A systematic approach to dynamic programming in bioinformatics. Bioinformatics, 16:665\u2013677, 2000.","journal-title":"Bioinformatics"},{"unstructured":"R. Giegerich, S. Kurtz, and G. F. Weiller. An algebraic dynamic programming approach to the analysis of recombinant DNA sequences. In Proc. of the First Workshop on Algorithmic Aspects of Advanced Programming Languages, pages 77\u201388, 1999.","key":"1_CR7"},{"doi-asserted-by":"crossref","unstructured":"R. Giegerich and C. Meyer. Algebraic dynamic programming. In Proc. of the 9th International Conference on Algebraic Methodology And Software Technology, 2002. To appear.","key":"1_CR8","DOI":"10.1007\/3-540-45719-4_24"},{"key":"1_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/3-540-19027-9_17","volume-title":"Proc. European Symposium on Programming 1988","author":"R. Giegerich","year":"1988","unstructured":"R. Giegerich and K. Schmal. Code selection techniques: Pattern matching, tree parsing and inversion of derivors. In Proc. European Symposium on Programming 1988, Lecture Notes in Computer Science 300, Springer Verlag, pages 247\u2013268, 1988."},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1145\/357103.357112","volume":"2","author":"S.L. Graham","year":"1980","unstructured":"S.L. Graham and M.A. Harrison. An improved context-free recognizer. ACM Transactions on Programming Languages and Systems, 2(3):415\u2013462, 1980.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"D. Gusfield. Algorithms on Strings, Trees, and Sequences. Computer Science and Computational Biology. Cambridge University Press, 1997.","key":"1_CR11","DOI":"10.1017\/CBO9780511574931"},{"unstructured":"M. H\u00f6chsmann. Tree and Forest Alignments-An Algebraic Dynamic Programming Approach for Aligning Trees and Forests. Master\u2019s thesis, Bielefeld University, Mai 2001.","key":"1_CR12"},{"issue":"2","key":"1_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1017\/S0956796800000411","volume":"3","author":"G. Hutton","year":"1992","unstructured":"G. Hutton. Higher order functions for parsing. Journal of Functional Programming, 3(2):323\u2013343, 1992.","journal-title":"Journal of Functional Programming"},{"key":"1_CR14","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1524\/zpch.2002.216.2.193","volume":"216","author":"C. Meyer","year":"2002","unstructured":"C. Meyer and R. Giegerich. Matching and Significance Evaluation of Combined Sequence-Structure Motifs in RNA. Z.Phys.Chem., 216:193\u2013216, 2002.","journal-title":"Z.Phys.Chem."},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1016\/0022-247X(82)90223-2","volume":"86","author":"T.L. Morin","year":"1982","unstructured":"T.L. Morin. Monotonicity and the principle of optimality. Journal of Mathematical Analysis and Applications, 86:665\u2013674, 1982.","journal-title":"Journal of Mathematical Analysis and Applications"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"2053","DOI":"10.1006\/jmbi.1998.2436","volume":"285","author":"E. Rivas","year":"1999","unstructured":"E. Rivas and S. Eddy. A dynamic programming algorithm for RNA structure prediction including pseudoknots. J. Mol. Biol., 285:2053\u20132068, 1999.","journal-title":"J. Mol. Biol."},{"issue":"4","key":"1_CR17","first-page":"333","volume":"13","author":"D.B. Searls","year":"1997","unstructured":"D.B. Searls. Linguistic approaches to biological sequences. CABIOS, 13(4):333\u2013344, 1997.","journal-title":"CABIOS"},{"doi-asserted-by":"crossref","unstructured":"K. Sikkel and M. Lankhorst. A parallel bottom-up tomita parser. In G. G\u00f6rz, editor, 1. Konferenz Verarbeitung nat\u00fcrlicher Sprache (KONVENS\u201992), N\u00fcrnberg, Germany, Informatik Aktuell, pages 238\u2013247. Springer-Verlag, 1992.","key":"1_CR18","DOI":"10.1007\/978-3-642-77809-4_25"},{"unstructured":"P. Steffen. Basisfunktionen f\u00fcr die \u00dcbersetzung von Programmen der Algebraischen Dynamischen Programmierung. Master\u2019s thesis, Bielefeld University, February 2002. In German.","key":"1_CR19"},{"key":"1_CR20","series-title":"Int. Series in Engineering and Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-1885-0","volume-title":"Efficient Parsing for Natural Language-A Fast Algorithm for Practical Systems","author":"M. Tomita","year":"1986","unstructured":"M. Tomita. Efficient Parsing for Natural Language-A Fast Algorithm for Practical Systems. Int. Series in Engineering and Computer Science. Kluwer, Hingham, MA, 1986."},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1007\/BF02459506","volume":"46","author":"M. Zuker","year":"1984","unstructured":"M. Zuker and S. Sankoff. RNA secondary structures and their prediction. Bull. Math. Biol., 46:591\u2013621, 1984.","journal-title":"Bull. Math. Biol."}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45442-X_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T12:30:23Z","timestamp":1550320223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45442-X_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438571","9783540454427"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45442-x_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}