{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:13Z","timestamp":1725487993128},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425588"},{"type":"electronic","value":"9783540448068"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44806-3_5","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T14:21:36Z","timestamp":1184941296000},"page":"72-91","source":"Crossref","is-referenced-by-count":6,"title":["Generation of Efficient Programs for Solving Maximum Multi-marking Problems"],"prefix":"10.1007","author":[{"given":"Isao","family":"Sasano","sequence":"first","affiliation":[]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Masato","family":"Takeichi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,3]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/165180.165214","volume-title":"Proceedings of the 6th International Conference on Functional Programming Languages and Computer Architecture (FPCA\u201893)","author":"A. Gill","year":"1993","unstructured":"Andrew Gill, John Launchbury, and Simon L. Peyton Jones. A short cut to deforestation. In Proceedings of the 6th International Conference on Functional Programming Languages and Computer Architecture (FPCA\u201893), pages 223\u2013232, Copenhagen, Denmark, June 1993. ACM Press."},{"key":"5_CR2","unstructured":"Richard Bird. Maximum marking problems, 2000. Available from \n                    http:\/\/www.comlab.ox.ac.uk\/oucl\/work\/richard.bird\/publications\/mmp.ps\n                    \n                  ."},{"key":"5_CR3","first-page":"137","volume-title":"Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP\u201800)","author":"I. Sasano","year":"2000","unstructured":"Isao Sasano, Zhenjiang Hu, Masato Takeichi, and Mizuhito Ogawa. Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems. In Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP\u201800), pages 137\u2013149, Montreal, Canada, September 2000. ACM Press."},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/0196-6774(87)90039-3","volume":"8","author":"M. W. Bern","year":"1987","unstructured":"Marshall W. Bern, Eugene L. Lawler, and A. L. Wong. Linear-time computation of optimal subgraphs of decomposable graphs. Journal of Algorithms, 8:216\u2013235, 1987.","journal-title":"Journal of Algorithms"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/BF01758777","volume":"7","author":"R. B. Borie","year":"1992","unstructured":"Richard B. Borie, R. Gary Parker, and Craig A. Tovey. Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families. Algorithmica, 7:555\u2013581, 1992.","journal-title":"Algorithmica"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1093\/comjnl\/32.2.122","volume":"32","author":"R. Bird","year":"1989","unstructured":"Richard Bird. Algebraic identities for program calculation. The Computer Journal, 32(2):122\u2013126, 1989.","journal-title":"The Computer Journal"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Richard Bird and Oege de Moor. Algebra of Programming. Prentice Hall, 1996.","DOI":"10.1007\/978-3-642-61455-2_12"},{"key":"5_CR8","series-title":"Lect Notes Comput Sci","first-page":"116","volume-title":"Proceedings of the 3rd International Summer School on Advanced Functional Programming (AFP\u201898)","author":"O. Moor de","year":"1998","unstructured":"Oege de Moor and Ganesh Sittampalam. Generic program transformation. In Proceedings of the 3rd International Summer School on Advanced Functional Programming (AFP\u201898), LNCS 1608, pages 116\u2013149, Braga, Portugal, September 1998. Springer-Verlag."},{"key":"5_CR9","unstructured":"Richard Bird. Introduction to Functional Programming using Haskell (second edition). Prentice Hall, 1998."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Richard Bird. An introduction to the theory of lists. In Manfred Broy, editor, Logic of Programming and Calculi of Discrete Design, NATO ASI Series 36, pages 5\u201342. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-87374-4_1"},{"key":"5_CR11","series-title":"PhD thesis","volume-title":"Law and Order in Algorithmics","author":"M. M. Fokkinga","year":"1992","unstructured":"Maarten M. Fokkinga. Law and Order in Algorithmics. PhD thesis, University of Twente, Dept INF, Enschede, The Netherlands, 1992."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, and Akihiko Takano. Tupling calculation eliminates multiple data traversals. In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP\u201897), pages 164\u2013175, Amsterdam, The Netherlands, June 1997. ACM Press.","DOI":"10.1145\/258948.258964"},{"key":"5_CR13","unstructured":"Silvano Martello and Paolo Toth. Knapsack Problems: Algorithms and Computer Implementations. Wiley-Interscience series in discrete mathematics and optimization. John Wiley & Sons Ltd., 1990."},{"key":"5_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/3-540-40996-3_20","volume-title":"Proceedings of the 11th International Symposium on Algorithms and Computation (ISAAC\u201800)","author":"T. Erlebach","year":"2000","unstructured":"Thomas Erlebach and Frits Spieksma. Simple algorithms for a weighted interval selection problem. In Proceedings of the 11th International Symposium on Algorithms and Computation (ISAAC\u201800), LNCS 1969, pages 228\u2013240, Taipei, Taiwan, December 2000. Springer-Verlag."},{"key":"5_CR15","unstructured":"Johan Jeuring. Theories for Algorithm Calculation. Ph.D thesis, Faculty of Science, Utrecht University, 1993."},{"key":"5_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0026809","volume-title":"Proceedings of the 7th International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP\u201895)","author":"O. Moor de","year":"1995","unstructured":"Oege de Moor. A generic program for sequential decision processes. In Proceedings of the 7th International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP\u201895), LNCS 982, pages 1\u201323, Utrecht, the Netherlands, September 1995."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Wolfgang Thomas. Automata on infinite objects. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 4, pages 133\u2013192. Elsevier Science Publishers, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"}],"container-title":["Lecture Notes in Computer Science","Semantics, Applications, and Implementation of Program Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44806-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T00:24:39Z","timestamp":1550449479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44806-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425588","9783540448068"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44806-3_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}