{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:04Z","timestamp":1725455824095},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634591"},{"type":"electronic","value":"9783540695554"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027016","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:34:01Z","timestamp":1132396441000},"page":"273-286","source":"Crossref","is-referenced-by-count":9,"title":["Optimal left-to-right pattern-matching automata"],"prefix":"10.1007","author":[{"given":"Nadia","family":"Nedjah","sequence":"first","affiliation":[]},{"given":"Colin D.","family":"Walter","sequence":"additional","affiliation":[]},{"given":"Stephen E.","family":"Eldridge","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"18_CR1","unstructured":"Aho, A.V., Sethi, R. and Ulmann, J.D., Compilers: Principles, Techniques and Tools, Addison-Wesley Publishing Company, 1986."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Gr\u00e4f, A., \u201cLeft-to-Right Pattern-Matching\u201d, in Proc. Rewriting Techniques and Applications, Lecture Notes in Computer Science, Vol. 488, pp. 323\u2013334, Springer Verlag, 1991.","DOI":"10.1007\/3-540-53904-2_107"},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/322290.322295","volume":"29","author":"C.M. Hoffman","year":"1982","unstructured":"Hoffman, C.M. and O'Donnell, M.J., \u201cPattern-Matching in Trees\u201d, Journal of the ACM, Vol 29, pp. 68\u201395, January 1982.","journal-title":"Journal of the ACM"},{"issue":"12","key":"18_CR4","doi-asserted-by":"crossref","first-page":"1185","DOI":"10.1002\/spe.4380151205","volume":"15","author":"C.M. Hoffman","year":"1985","unstructured":"Hoffman, C.M., O'Donnell, M.J. and Strandh, R. \u201cProgramming with Equations\u201d, Software, Practice and Experience, Vol. 15, No. 12, pp. 1185\u20131204, December 1985.","journal-title":"Software, Practice and Experience"},{"key":"18_CR5","series-title":"Computing Science Technical Report","volume-title":"Yacc \u2014 Yet Another Compiler Compiler","author":"S. C. Johnson","year":"1975","unstructured":"Johnson, S. C., Yacc \u2014 Yet Another Compiler Compiler, Computing Science Technical Report 32, AT&T Laboratories, Murray Hill, N. J., 1975."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Kennaway, J. R., \u201cThe Specificity Rule for Lazy Pattern Matching in Ambiguous Term Rewriting Systems\u201d, Proc. 3rd European Symposium on Programming, Lecture Notes in Computer Science, Vol. 432, pp. 256\u2013270, Springer-Verlag,1990.","DOI":"10.1007\/3-540-52592-0_68"},{"issue":"2","key":"18_CR7","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. and Pratt, V., \u201cFast Pattern-Matching in Strings\u201d, SIAM Journal on Computing, Vol. 6, No. 2, pp. 323\u2013350, 1977.","journal-title":"SIAM Journal on Computing"},{"key":"18_CR8","volume-title":"Pattern-Matching Automata for Efficient Evaluation in Equational Programming","author":"N. Nedjah","year":"1997","unstructured":"Nedjah, N., Pattern-Matching Automata for Efficient Evaluation in Equational Programming, Ph.D. Thesis, UMIST, Manchester, UK, 1997."},{"key":"18_CR9","series-title":"Technical Report","volume-title":"Efficient Automaton-Driven Pattern-Matching for Equational Programs","author":"N. Nedjah","year":"1996","unstructured":"Nedjah, N., Walter, C.D. and Eldridge, S.E., Efficient Automaton-Driven Pattern-Matching for Equational Programs, Technical Report, Computation Dept., UMIST, Manchester, UK, 1996."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"O'Donnell, M.J., Equational Logic as a Programming Language, The MIT Press, 1985.","DOI":"10.1007\/3-540-15648-8_20"},{"issue":"5","key":"18_CR11","doi-asserted-by":"crossref","first-page":"1207","DOI":"10.1137\/S0097539793246252","volume":"24","author":"R.C. Sekar","year":"1995","unstructured":"Sekar, R.C., Ramesh, R. and Ramakrishnan, I.V., \u201cAdaptive Pattern Matching\u201d, SIAM Journal on Computing, Vol. 24, No. 5, pp. 1207\u20131234, December 1995.","journal-title":"SIAM Journal on Computing"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:54:21Z","timestamp":1586570061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634591","9783540695554"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0027016","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}