{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:12:16Z","timestamp":1767928336002,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540228493","type":"print"},{"value":"9783540278368","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_53","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T22:53:21Z","timestamp":1284591201000},"page":"618-629","source":"Crossref","is-referenced-by-count":39,"title":["Greedy Regular Expression Matching"],"prefix":"10.1007","author":[{"given":"Alain","family":"Frisch","sequence":"first","affiliation":[]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"53_CR1","doi-asserted-by":"crossref","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: An XML-centric general-purpose language. In: ICFP 2003 (2003)","DOI":"10.1145\/944705.944711"},{"key":"53_CR2","doi-asserted-by":"crossref","unstructured":"Boag, S., Chamberlin, D., Fernandez, M., Florescu, D., Robie, J., Sim\u00e9on, J., Stefanescu, M.: XQuery 1.0: An XML Query Language. W3C Working Draft (May 2003), http:\/\/www.w3.org\/TR\/xquery\/","DOI":"10.1145\/872757.872877"},{"issue":"2","key":"53_CR3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s002360000037","volume":"37","author":"D. Dub","year":"2000","unstructured":"Dub, D., Feeley, M.: Efficiently building a parse tree from a regular expression. Acta Informatica\u00a037(2), 121\u2013144 (2000)","journal-title":"Acta Informatica"},{"key":"53_CR4","unstructured":"ECMA. CLI Partition I - Architecture (2002), http:\/\/msdn.microsoft.com\/net\/ecma\/"},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"Frisch, A.: Regular tree language recognition with static information. In: International Conference on Theoretical Computer Science (2004)","DOI":"10.1007\/1-4020-8141-3_50"},{"key":"53_CR6","doi-asserted-by":"crossref","unstructured":"Gapayev, V., Pierce, B.C.: Regular object types. In: Proceedings of the 10th workshop FOOL (2003)","DOI":"10.1007\/978-3-540-45070-2_8"},{"issue":"4","key":"53_CR7","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1017\/S0956796899003378","volume":"9","author":"R. Harper","year":"1999","unstructured":"Harper, R.: Proof-directed debugging. Journal of Functional Programming\u00a09(4), 463\u2013469 (1999)","journal-title":"Journal of Functional Programming"},{"key":"53_CR8","doi-asserted-by":"crossref","unstructured":"Hosoya, H.: Regular Expression Types for XML. PhD thesis, The University of Tokyo (2001)","DOI":"10.1145\/351240.351242"},{"key":"53_CR9","doi-asserted-by":"crossref","unstructured":"Hosoya, H.: Regular expressions pattern matching: a simpler design (February 2003) (unpublished manuscript)","DOI":"10.1017\/S0956796802004410"},{"key":"53_CR10","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Pierce, B.C.: Regular expression pattern matching for XML. In: The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2001)","DOI":"10.1145\/360204.360209"},{"issue":"2","key":"53_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. ACM Transactions on Internet Technology\u00a03(2), 117\u2013148 (2003)","journal-title":"ACM Transactions on Internet Technology"},{"key":"53_CR12","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: ICFP 2000. SIGPLAN Notices, vol.\u00a035(9) (2000)","DOI":"10.1145\/351240.351242"},{"issue":"8","key":"53_CR13","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1002\/spe.4380210803","volume":"21","author":"S..M. Kearns","year":"1991","unstructured":"Kearns, S.M.: Extending regular expressions with context operators and parse extraction. Software - practice and experience\u00a021(8), 787\u2013804 (1991)","journal-title":"Software - practice and experience"},{"key":"53_CR14","unstructured":"Laurikari, V.: Efficient submatch addressing for regular expressions. Master\u2019s thesis, Helsinki University of Technology (2001)"},{"key":"53_CR15","doi-asserted-by":"crossref","unstructured":"Levin, M.: Compiling regular patterns. In: ICFP 2003 (2003)","DOI":"10.1145\/944705.944712"},{"key":"53_CR16","unstructured":"Meijer, E., Schulte, W.: Unifying tables, objects, and documents. In: DP-COOL 2003 (2003)"},{"key":"53_CR17","doi-asserted-by":"crossref","unstructured":"Tabuchi, N., Sumii, E., Yonezawa, A.: Regular expression types for strings in a text processing language. In: Workshop on Types in Programming, TIP (2002)","DOI":"10.1016\/S1571-0661(04)80781-3"},{"key":"53_CR18","unstructured":"Vansummeren, S.: Unique pattern matching in strings. Technical report, University of Limburg (2003), http:\/\/arXiv.org\/abs\/cs\/0302004"},{"key":"53_CR19","unstructured":"W3C Recommendation. Extensible Markup Language (XML) 1.0 (2000)"},{"key":"53_CR20","unstructured":"W3C Recommandation. XML Schema (2001)"},{"key":"53_CR21","unstructured":"Xi, H.: Dependent types for program termination verification. In: Logic in Computer Science (2001)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T10:20:15Z","timestamp":1685787615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}