{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:59Z","timestamp":1725456059044},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545767"},{"type":"electronic","value":"9783540384915"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018268","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:53:51Z","timestamp":1132646031000},"page":"35-48","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Another case study on reusability of transformational developments"],"prefix":"10.1007","author":[{"given":"H. A.","family":"Partsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"V\u00f6lker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"3_CR1","volume-title":"Lecture Notes in Computer Science 183","author":"F.L. Bauer","year":"1985","unstructured":"Bauer, F.L., Berghammer, R., Broy, M, Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Br\u00fcckner, B., Laut, A., Matzner, T., M\u00f6ller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., W\u00f6ssner, H.: The Munich project CIP. Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science 183, Berlin: Springer 1985"},{"key":"3_CR2","unstructured":"Berghammer, R., Ehler, H.: On the use of elements of functional programming in program development by transformations. This Volume"},{"key":"3_CR3","unstructured":"Bird, R.S., Gibbons, J., Jones, G.: Formal derivation of a pattern matching algorithm. Programming Research Group, Oxford University, Technical Report 1988. Also: Science of Computer Programming 12, 93\u2013104 (1989)"},{"issue":"10","key":"3_CR4","doi-asserted-by":"crossref","first-page":"762","DOI":"10.1145\/359842.359859","volume":"20","author":"R.S. Boyer","year":"1977","unstructured":"Boyer, R.S., Moore, J.S.: A fast string searching algorithm. Comm. ACM 20:10, 762\u2013772 (1977)","journal-title":"Comm. ACM"},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"D.E. Knuth","year":"1977","unstructured":"Knuth, D.E., Morris, J.H., Pratt, V.B.: Fast pattern matching in strings. SIAM Journal of Computing 6, 323\u2013350 (1977)","journal-title":"SIAM Journal of Computing"},{"key":"3_CR6","volume-title":"Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik","author":"H. Partsch","year":"1990","unstructured":"Partsch, H.: Reusability of transformational developments. In: Broy, M. (ed.): Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik. Berlin: Springer 1990 (to appear)"},{"key":"3_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61512-2","volume-title":"Specification and transformation of programs \u2014 A formal approach to software development","author":"H. Partsch","year":"1990","unstructured":"Partsch, H.: Specification and transformation of programs \u2014 A formal approach to software development. Berlin: Springer 1990"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Partsch, H., Stomp, F.A.: A fast pattern matching algorithm derived by transformational and assertional reasoning. KU Nijmegen, Technical Report 1989. Also: Formal Aspects of Computing 1990 (to appear)","DOI":"10.1007\/BF01888219"},{"key":"3_CR9","unstructured":"Pepper, P.: Literate Program derivation: A case study. This volume"},{"key":"3_CR10","unstructured":"V\u00f6lker, N.: Deriving String Matching Algorithms. Technical Report KU Nijmegen 1990 (to appear)"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0167-6423(89)90001-4","volume":"12","author":"J. Woude van der","year":"1989","unstructured":"van der Woude, J.: Playing with patterns, searching for strings. Science of Computer Programming 12, 177\u2013190 (1989)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Methods of Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T04:24:32Z","timestamp":1578543872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018268"}},"subtitle":["Pattern Matching according to Knuth, Morris, and Pratt"],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545767","9783540384915"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0018268","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"10 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}