{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T15:51:16Z","timestamp":1766159476898,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031659409"},{"type":"electronic","value":"9783031659416"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-65941-6_9","type":"book-chapter","created":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T07:10:56Z","timestamp":1722496256000},"page":"165-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Hrewrite Library: A Term Rewriting Engine for Automatic Code Assembly"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-9635-5757","authenticated-orcid":false,"given":"Michael","family":"Lienhardt","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,8,2]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"Abate, P., Di Cosmo, R., Treinen, R., Zacchiroli, S.: Dependency solving: A separate concern in component evolution management. J. Syst. Softw. 85(10), 2228\u20132240 (2012). https:\/\/doi.org\/10.1016\/J.JSS.2012.02.018","DOI":"10.1016\/J.JSS.2012.02.018"},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"Alur, R., D\u2019Antoni, L.: Streaming tree transducers. J. ACM 64(5), 31:1\u201331:55 (2017). https:\/\/doi.org\/10.1145\/3092842","DOI":"10.1145\/3092842"},{"key":"9_CR3","unstructured":"Avanzini, M., Felgenhauer, B., Sternagel, C., Epifanov, I.: Term-Rewriting. http:\/\/cl-informatik.uibk.ac.at\/software\/haskell-rewriting\/, (accessed: 20.03.2024)"},{"key":"9_CR4","doi-asserted-by":"publisher","unstructured":"Becker, G., Scheibel, P., LeGendre, M.P., Gamblin, T.: Managing combinatorial software installations with spack. In: 2016 Third International Workshop on HPC User Support Tools, HUST@SC, pp. 14\u201323. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/HUST.2016.007","DOI":"10.1109\/HUST.2016.007"},{"key":"9_CR5","doi-asserted-by":"publisher","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: Cduce: an xml-centric general-purpose language. In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP, pp. 51\u201363. ACM (2003). https:\/\/doi.org\/10.1145\/944705.944711","DOI":"10.1145\/944705.944711"},{"key":"9_CR6","doi-asserted-by":"publisher","unstructured":"van\u00a0den Bos, J., Hills, M., Klint, P., van\u00a0der Storm, T., Vinju, J.J.: Rascal: From algebraic specification to meta-programming. In: Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE. EPTCS, vol.\u00a056, pp. 15\u201332 (2011). https:\/\/doi.org\/10.4204\/EPTCS.56.2","DOI":"10.4204\/EPTCS.56.2"},{"key":"9_CR7","doi-asserted-by":"publisher","unstructured":"Castagna, G.: Programming with union, intersection, and negation types. CoRR abs\/2111.03354 (2021). https:\/\/doi.org\/10.48550\/arXiv.2111.03354","DOI":"10.48550\/arXiv.2111.03354"},{"key":"9_CR8","doi-asserted-by":"publisher","unstructured":"Chidlovskii, B.: Using regular tree automata as XML schemas. In: Proceedings of IEEE Advances in Digital Libraries 2000 ADL, pp. 89\u201398. IEEE Computer Society (2000). https:\/\/doi.org\/10.1109\/ADL.2000.848373","DOI":"10.1109\/ADL.2000.848373"},{"key":"9_CR9","doi-asserted-by":"publisher","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Escobar, S., Lincoln, P., Mart\u00ed-Oliet, N., Talcott, C.L.: Two decades of maude. In: Logic, Rewriting, and Concurrency\u2014Essays dedicated to Jos\u00e9 Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol.\u00a09200, pp. 232\u2013254. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-319-23165-5_11","DOI":"10.1007\/978-3-319-23165-5_11"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"D\u2019Antoni, L., Veanes, M.: Automata modulo theories. Commun. ACM 64(5), 86\u201395 (2021). https:\/\/doi.org\/10.1145\/3419404","DOI":"10.1145\/3419404"},{"key":"9_CR11","doi-asserted-by":"publisher","unstructured":"D\u2019Antoni, L., Veanes, M., Livshits, B., Molnar, D.: Fast: A transducer-based language for tree manipulation. ACM Trans. Program. Lang. Syst. 38(1), 1:1\u20131:32 (2015). https:\/\/doi.org\/10.1145\/2791292","DOI":"10.1145\/2791292"},{"key":"9_CR12","doi-asserted-by":"publisher","unstructured":"Di Cosmo, R., Lienhardt, M., Treinen, R., Zacchiroli, S., Zwolakowski, J., Eiche, A., Agahi, A.: Automated synthesis and deployment of cloud applications. In: ACM\/IEEE International Conference on Automated Software Engineering, ASE, pp. 211\u2013222. ACM (2014). https:\/\/doi.org\/10.1145\/2642937.2642980","DOI":"10.1145\/2642937.2642980"},{"key":"9_CR13","doi-asserted-by":"publisher","unstructured":"Eker, S.: Associative unification in maude. J. Log. Algebraic Methods Program. 126, 100747 (2022). https:\/\/doi.org\/10.1016\/J.JLAMP.2021.100747","DOI":"10.1016\/J.JLAMP.2021.100747"},{"key":"9_CR14","doi-asserted-by":"publisher","unstructured":"Gallot, P., Lemay, A., Salvati, S.: Linear high-order deterministic tree transducers with regular look-ahead. In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS. LIPIcs, vol.\u00a0170, pp. 38:1\u201338:13. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2020). https:\/\/doi.org\/10.4230\/LIPICS.MFCS.2020.38","DOI":"10.4230\/LIPICS.MFCS.2020.38"},{"key":"9_CR15","doi-asserted-by":"publisher","unstructured":"Garavel, H., Tabikh, M., Arrada, I.: Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages: The 4th Rewrite Engines Competition. In: Proceedings of the 12th International Workshop on Rewriting Logic and Its Applications WRLA. LNCS, vol. 11152, pp. 1\u201325. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-319-99840-4_1","DOI":"10.1007\/978-3-319-99840-4_1"},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"de\u00a0Gouw, S., Lienhardt, M., Mauro, J., Nobakht, B., Zavattaro, G.: On the integration of automatic deployment into the ABS modeling language. In: Service Oriented and Cloud Computing\u20144th European Conference, ESOCC. Lecture Notes in Computer Science, vol.\u00a09306, pp. 49\u201364. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-319-24072-5_4","DOI":"10.1007\/978-3-319-24072-5_4"},{"key":"9_CR17","doi-asserted-by":"publisher","unstructured":"Hosoya, H., Pierce, B.C.: Xduce: A statically typed XML processing language. ACM Trans. Internet Tech. 3(2), 117\u2013148 (2003). https:\/\/doi.org\/10.1145\/767193.767195","DOI":"10.1145\/767193.767195"},{"key":"9_CR18","doi-asserted-by":"publisher","unstructured":"Kutsia, T., Marin, M.: Regular expression order-sorted unification and matching. J. Symb. Comput. 67, 42\u201367 (2015). https:\/\/doi.org\/10.1016\/J.JSC.2014.08.002","DOI":"10.1016\/J.JSC.2014.08.002"},{"key":"9_CR19","doi-asserted-by":"publisher","unstructured":"Legensky, S., Edwards, D., Bush, R., Poirier, D., Rumsey, C., Cosner, R., Towne, C.: CFD general notation system (CGNS)\u2014Status and future directions, Chap.\u00a0752. ARC (2002). https:\/\/doi.org\/10.2514\/6.2002-752","DOI":"10.2514\/6.2002-752"},{"key":"9_CR20","doi-asserted-by":"publisher","unstructured":"Lienhardt, M., Damiani, F., Johnsen, E.B., Mauro, J.: Lazy product discovery in huge configuration spaces. In: ICSE \u201920: 42nd International Conference on Software Engineering, pp. 1509\u20131521. ACM (2020). https:\/\/doi.org\/10.1145\/3377811.3380372","DOI":"10.1145\/3377811.3380372"},{"key":"9_CR21","doi-asserted-by":"publisher","unstructured":"Lienhardt, M., ter Beek, M.H., Damiani, F.: Product lines of dataflows. J. Syst. Softw. 111928 (2023). https:\/\/doi.org\/10.1016\/j.jss.2023.111928","DOI":"10.1016\/j.jss.2023.111928"},{"key":"9_CR22","doi-asserted-by":"publisher","unstructured":"Morris, J.G., McKinna, J.: Abstracting extensible data types: or, rows by any other name. Proc. ACM Program. Lang. 3(POPL), 12:1\u201312:28 (2019). https:\/\/doi.org\/10.1145\/3290325","DOI":"10.1145\/3290325"},{"key":"9_CR23","doi-asserted-by":"publisher","unstructured":"Rubio, R.: Maude as a library: An efficient all-purpose programming interface. In: Rewriting Logic and Its Applications\u201414th International Workshop, WRLA@ETAPS. Lecture Notes in Computer Science, vol. 13252, pp. 274\u2013294. Springer, Berlin (2022). https:\/\/doi.org\/10.1007\/978-3-031-12441-9_14","DOI":"10.1007\/978-3-031-12441-9_14"},{"key":"9_CR24","unstructured":"Rule, J.: term_rewriting. https:\/\/github.com\/joshrule\/term-rewriting-rs, (accessed: 20.03.2024)"},{"key":"9_CR25","doi-asserted-by":"publisher","unstructured":"Schwentick, T.: Trees, automata and XML. In: Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, p.\u00a0222. ACM (2004). https:\/\/doi.org\/10.1145\/1055558.1055589","DOI":"10.1145\/1055558.1055589"},{"key":"9_CR26","doi-asserted-by":"publisher","unstructured":"Simonet, V., Pottier, F.: A constraint-based approach to guarded algebraic data types. ACM Trans. Program. Lang. Syst. 29(1), 1 (2007). https:\/\/doi.org\/10.1145\/1180475.1180476","DOI":"10.1145\/1180475.1180476"}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-65941-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T07:12:45Z","timestamp":1722496365000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-65941-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031659409","9783031659416"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-65941-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"2 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WRLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Rewriting Logic and its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wrla2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wrla2024.gitlab.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}