{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:59:46Z","timestamp":1760061586287,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,12]],"date-time":"2017-11-12T00:00:00Z","timestamp":1510444800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,12]]},"DOI":"10.1145\/3149869.3149871","type":"proceedings-article","created":{"date-parts":[[2017,11,3]],"date-time":"2017-11-03T12:36:10Z","timestamp":1509712570000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Efficient Pattern Matching in Python"],"prefix":"10.1145","author":[{"given":"Manuel","family":"Krebber","sequence":"first","affiliation":[{"name":"Aachen Institute for Advanced Study in Computational Engineering Science, High-Performance and Automatic Computing Group, RWTH Aachen University"}]},{"given":"Henrik","family":"Barthels","sequence":"additional","affiliation":[{"name":"Aachen Institute for Advanced Study in Computational Engineering Science, High-Performance and Automatic Computing Group, RWTH Aachen University"}]},{"given":"Paolo","family":"Bientinesi","sequence":"additional","affiliation":[{"name":"Aachen Institute for Advanced Study in Computational Engineering Science, High-Performance and Automatic Computing Group, RWTH Aachen University"}]}],"member":"320","published-online":{"date-parts":[[2017,11,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"M. Krebber \"MatchPy \" 2017. [Online]. Available: https:\/\/github.com\/HPAC\/matchpy  M. Krebber \"MatchPy \" 2017. [Online]. Available: https:\/\/github.com\/HPAC\/matchpy"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752"},{"key":"e_1_3_2_1_3_1","unstructured":"I. Wolfram Research \"Mathematica \" 2016 URL: https:\/\/www.wolfram.com.  I. Wolfram Research \"Mathematica \" 2016 URL: https:\/\/www.wolfram.com."},{"issue":"2","key":"e_1_3_2_1_4_1","first-page":"207","article-title":"Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories","volume":"11","author":"Kirchner H.","year":"2001","journal-title":"International Journal of Foundations of Computer Science"},{"key":"e_1_3_2_1_5_1","unstructured":"L. Haoyi \"Macropy \" https:\/\/github.com\/lihaoyi\/macropy 2014. [Online]. Available: https:\/\/github.com\/lihaoyi\/macropy  L. Haoyi \"Macropy \" https:\/\/github.com\/lihaoyi\/macropy 2014. [Online]. Available: https:\/\/github.com\/lihaoyi\/macropy"},{"key":"e_1_3_2_1_6_1","unstructured":"A. Schepanovski \"patterns \" https:\/\/github.com\/Suor\/patterns 2014. [Online]. Available: https:\/\/github.com\/Suor\/patterns  A. Schepanovski \"patterns \" https:\/\/github.com\/Suor\/patterns 2014. [Online]. Available: https:\/\/github.com\/Suor\/patterns"},{"key":"e_1_3_2_1_7_1","unstructured":"G. Jenks \"PyPatt \" https:\/\/pypi.python.org\/pypi\/pypatt 2015. [Online]. Available: https:\/\/pypi.python.org\/pypi\/pypatt  G. Jenks \"PyPatt \" https:\/\/pypi.python.org\/pypi\/pypatt 2015. [Online]. Available: https:\/\/pypi.python.org\/pypi\/pypatt"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.103"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881866"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53904-2_107"},{"key":"e_1_3_2_1_11_1","first-page":"273","author":"Nedjah N.","year":"1997","journal-title":"Optimal Left-to-right Pattern-matching Automata"},{"key":"e_1_3_2_1_12_1","first-page":"57","article-title":"Compilation of pattern matching with associative-commutative functions,\" in TAPSOFT '91","author":"Kounalis E.","year":"1991","journal-title":"Springer Nature"},{"key":"e_1_3_2_1_13_1","first-page":"61","author":"Bachmair L.","year":"1993","journal-title":"Associative-commutative Discrimination Nets"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1049"},{"key":"e_1_3_2_1_15_1","first-page":"348","volume-title":"IJCAI'95","author":"Bachmair L.","year":"1995"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.5.381"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.045"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.12.002"},{"key":"e_1_3_2_1_19_1","unstructured":"J. P\u00f6schko \"Mathics \" http:\/\/mathics.github.io\/ Oct. 2016. [Online]. Available: http:\/\/mathics.github.io\/  J. P\u00f6schko \"Mathics \" http:\/\/mathics.github.io\/ Oct. 2016. [Online]. Available: http:\/\/mathics.github.io\/"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"volume-title":"USA: Cambridge University Press","year":"2001","author":"Klop J. W.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(87)80027-5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.2307\/2310105"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.2307\/2315274"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(88)90172-1"},{"issue":"1","key":"e_1_3_2_1_26_1","first-page":"2","article-title":"Efficient solution of linear diophantine equations","volume":"8","author":"Clausen M.","year":"1989","journal-title":"Journal of Symbolic Computation"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.25.3.427.12219"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1201\/9781439821916"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1137\/0202019"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0893-9659(94)90045-0"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63890-3_11"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.25080\/shinma-7f4c6e7-00b"},{"key":"e_1_3_2_1_33_1","unstructured":"M. Krebber \"Non-linear Associative-Commutative Many-to-One Pattern Matching with Sequence Variables \" Master's thesis RWTH Aachen University 2017.  M. Krebber \"Non-linear Associative-Commutative Many-to-One Pattern Matching with Sequence Variables \" Master's thesis RWTH Aachen University 2017."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/355841.355847"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/42288.42291"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/77626.79170"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02614-0_39"},{"key":"e_1_3_2_1_38_1","unstructured":"M. Krebber \"Matchpy documentation \" http:\/\/matchpy.readthedocs.io\/ 06 2017. [Online]. Available: http:\/\/matchpy.readthedocs.io\/  M. Krebber \"Matchpy documentation \" http:\/\/matchpy.readthedocs.io\/ 06 2017. [Online]. Available: http:\/\/matchpy.readthedocs.io\/"},{"key":"e_1_3_2_1_39_1","first-page":"31","article-title":"XML path language (XPath) 3.1","author":"Robie J.","year":"2017","journal-title":"URL: https:\/\/www.w3.org\/TR\/"},{"key":"e_1_3_2_1_40_1","first-page":"2017","article-title":"CSS snapshot 2017","author":"Rivoal F.","year":"2017","journal-title":"URL: https:\/\/www.w3.org\/TR\/"},{"key":"e_1_3_2_1_41_1","first-page":"4","volume-title":"Eds.","author":"Behnel S.","year":"2009"},{"key":"e_1_3_2_1_42_1","unstructured":"I. M. Wilbers H. P. Langtangen and \u00c5. \u00d8deg\u00e5rd \"Using cython to speed up numerical python programs \" in Proceedings of Mekit'09 2009 pp. 495--512.  I. M. Wilbers H. P. Langtangen and \u00c5. \u00d8deg\u00e5rd \"Using cython to speed up numerical python programs \" in Proceedings of Mekit'09 2009 pp. 495--512."}],"event":{"name":"SC '17: The International Conference for High Performance Computing, Networking, Storage and Analysis","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","IEEE CS"],"location":"Denver CO USA","acronym":"SC '17"},"container-title":["Proceedings of the 7th Workshop on Python for High-Performance and Scientific Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3149869.3149871","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3149869.3149871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:18Z","timestamp":1750213578000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3149869.3149871"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,12]]},"references-count":42,"alternative-id":["10.1145\/3149869.3149871","10.1145\/3149869"],"URL":"https:\/\/doi.org\/10.1145\/3149869.3149871","relation":{},"subject":[],"published":{"date-parts":[[2017,11,12]]},"assertion":[{"value":"2017-11-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}