{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:59:17Z","timestamp":1750309157812,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"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":[[2023,10,23]]},"DOI":"10.1145\/3623476.3623517","type":"proceedings-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T13:45:16Z","timestamp":1697723116000},"page":"29-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Adaptive Structural Operational Semantics"],"prefix":"10.1145","author":[{"given":"Gwendal","family":"Jouneaux","sequence":"first","affiliation":[{"name":"University of Rennes, Rennes, France \/ Inria, Rennes, France \/ IRISA, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damian","family":"Fr\u00f6lich","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Barais","sequence":"additional","affiliation":[{"name":"University of Rennes, Rennes, France \/ Inria, Rennes, France \/ CNRS, Rennes, France \/ IRISA, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[{"name":"University of Rennes, Rennes, France \/ Inria, Rennes, France \/ IRISA, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gurvan","family":"Le Guernic","sequence":"additional","affiliation":[{"name":"DGA Ma\u00eetrise de l'Information, Bruz, France \/ University of Rennes, Rennes, France \/ Inria, Rennes, France \/ IRISA, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gunter","family":"Mussbacher","sequence":"additional","affiliation":[{"name":"McGill University, Montreal, Canada \/ Inria, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. Thomas","family":"van Binsbergen","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76650-6_6"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 2nd International Conference on Science and Technology (ICSTIE).","author":"Al-Mofleh Anwar","year":"2008","unstructured":"Anwar Al-Mofleh , Soib Taib , Wael Salah , and Mokhzaini Azizan . 2008 . Importance of Energy Efficiency: From the Perspective of Electrical Equipments . In Proceedings of the 2nd International Conference on Science and Technology (ICSTIE). Anwar Al-Mofleh, Soib Taib, Wael Salah, and Mokhzaini Azizan. 2008. Importance of Energy Efficiency: From the Perspective of Electrical Equipments. In Proceedings of the 2nd International Conference on Science and Technology (ICSTIE)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.10"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093157.2093163"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804337.2804339"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37635-1_6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.11.043"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892664.2893466"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37075-5_7"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_12_1","volume-title":"5th Domain-Specific Aspect Languages Workshop.","author":"Dinkelaker Tom","year":"2010","unstructured":"Tom Dinkelaker , Ralf Mitschke , Karin Fetzer , and Mira Mezini . 2010 . A dynamic software product line approach using aspect models at runtime . In 5th Domain-Specific Aspect Languages Workshop. Tom Dinkelaker, Ralf Mitschke, Karin Fetzer, and Mira Mezini. 2010. A dynamic software product line approach using aspect models at runtime. In 5th Domain-Specific Aspect Languages Workshop."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869542.1869625"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.123"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593944"},{"key":"e_1_3_2_1_16_1","volume-title":"ISSSE 2006-2008","author":"Inverardi Paola","year":"2009","unstructured":"Paola Inverardi and Massimo Tivoli . 2009 . The future of software: Adaptation and dependability. Software Engineering: International Summer Schools , ISSSE 2006-2008 , Salerno, Italy, Revised Tutorial Lectures, 1\u201331. Paola Inverardi and Massimo Tivoli. 2009. The future of software: Adaptation and dependability. Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures, 1\u201331."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3486608.3486912"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 2005 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS","author":"Kalibera Tomas","year":"2005","unstructured":"Tomas Kalibera , Lubomir Bulej , and Petr Tuma . 2005 . Benchmark precision and random initial state . In Proceedings of the 2005 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2005). 484\u2013490. Tomas Kalibera, Lubomir Bulej, and Petr Tuma. 2005. Benchmark precision and random initial state. In Proceedings of the 2005 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2005). 484\u2013490."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"J. O. Kephart and D. M. Chess. 2003. The vision of autonomic computing. Computer 36 1 (2003) Jan 41\u201350. issn:1558-0814 \t\t\t\t  J. O. Kephart and D. M. Chess. 2003. The vision of autonomic computing. Computer 36 1 (2003) Jan 41\u201350. issn:1558-0814","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242420"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Jeff Kramer and Jeff Magee. 2007. Self-managed systems: an architectural challenge. In Future of Software Engineering (FOSE\u201907). 259\u2013268. \t\t\t\t  Jeff Kramer and Jeff Magee. 2007. Self-managed systems: an architectural challenge. In Future of Software Engineering (FOSE\u201907). 259\u2013268.","DOI":"10.1109\/FOSE.2007.19"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900004355"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593888"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070514"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.008"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.073"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2012.17"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2346"},{"key":"e_1_3_2_1_29_1","unstructured":"Gordon D Plotkin. 1981. A structural approach to operational semantics. Aarhus university. \t\t\t\t  Gordon D Plotkin. 1981. A structural approach to operational semantics. Aarhus university."},{"key":"e_1_3_2_1_30_1","volume-title":"A structural approach to operational semantics. J. Log. Algebraic Methods Program., 60-61","author":"Plotkin Gordon D.","year":"2004","unstructured":"Gordon D. Plotkin . 2004. A structural approach to operational semantics. J. Log. Algebraic Methods Program., 60-61 ( 2004 ), 17\u2013139. Gordon D. Plotkin. 2004. A structural approach to operational semantics. J. Log. Algebraic Methods Program., 60-61 (2004), 17\u2013139."},{"key":"e_1_3_2_1_31_1","volume-title":"International Conference on Algebraic Methodology and Software Technology. 142\u2013162","author":"Ro\u015fu Grigore","year":"2010","unstructured":"Grigore Ro\u015fu , Chucky Ellison , and Wolfram Schulte . 2010 . Matching logic: An alternative to Hoare\/Floyd logic . In International Conference on Algebraic Methodology and Software Technology. 142\u2013162 . Grigore Ro\u015fu, Chucky Ellison, and Wolfram Schulte. 2010. Matching logic: An alternative to Hoare\/Floyd logic. In International Conference on Algebraic Methodology and Software Technology. 142\u2013162."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_34_1","volume-title":"Merks, and Marcelo Paternostro","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg , Frank Budinsky , Ed Merks, and Marcelo Paternostro . 2008 . EMF : Eclipse Modeling Framework. Pearson Education . Dave Steinberg, Frank Budinsky, Ed Merks, and Marcelo Paternostro. 2008. EMF: Eclipse Modeling Framework. Pearson Education."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859092"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAS.2009.42"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224399"}],"event":{"name":"SLE '23: 16th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Cascais Portugal","acronym":"SLE '23"},"container-title":["Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3623476.3623517","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:51:00Z","timestamp":1750287060000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3623476.3623517"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,23]]},"references-count":37,"alternative-id":["10.1145\/3623476.3623517","10.1145\/3623476"],"URL":"https:\/\/doi.org\/10.1145\/3623476.3623517","relation":{},"subject":[],"published":{"date-parts":[[2023,10,23]]},"assertion":[{"value":"2023-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}