{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:19:17Z","timestamp":1759033157955,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3191697.3191720","type":"proceedings-article","created":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T12:12:40Z","timestamp":1530533560000},"page":"36-41","source":"Crossref","is-referenced-by-count":4,"title":["Enhancing the JTL tool for bidirectional transformations"],"prefix":"10.1145","author":[{"given":"Romina","family":"Eramo","sequence":"first","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Tucci","sequence":"additional","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"F. Abou-Saleh J. Cheney J. Gibbons J. McKinna and P. Stevens. 2015. Notions of Bidirectional Computation and Entangled State Monads. MPC (2015) 187\u2013214. F. Abou-Saleh J. Cheney J. Gibbons J. McKinna and P. Stevens. 2015. Notions of Bidirectional Computation and Entangled State Monads. MPC (2015) 187\u2013214.","DOI":"10.1007\/978-3-319-19797-5_9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"A. Cicchetti D. Di Ruscio R. Eramo and A. Pierantonio. 2010. JTL: a bidirectional and change propagating transformation language. In SLE10. 183\u2013202. A. Cicchetti D. Di Ruscio R. Eramo and A. Pierantonio. 2010. JTL: a bidirectional and change propagating transformation language. In SLE10. 183\u2013202.","DOI":"10.1007\/978-3-642-19440-5_11"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"volume-title":"Procs. of AMT","year":"2014","author":"Eramo Romina","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814259"},{"key":"e_1_3_2_1_7_1","unstructured":"M. Gelfond and V. Lifschitz. 1988. The Stable Model Semantics for Logic Programming. In Procs of ICLP. 1070\u20131080. M. Gelfond and V. Lifschitz. 1988. The Stable Model Semantics for Logic Programming. In Procs of ICLP. 1070\u20131080."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100104"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0450-0"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11663430_14"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Hsiang-Shang Ko Tao Zan and Zhenjiang Hu. 2016. BiGUL: A Formally Verified Core Language for Putback-based Bidirectional Programming. In Procs of PEPM \u201916. 61\u201372. 10.1145\/2847538.2847544 Hsiang-Shang Ko Tao Zan and Zhenjiang Hu. 2016. BiGUL: A Formally Verified Core Language for Putback-based Bidirectional Programming. In Procs of PEPM \u201916. 61\u201372. 10.1145\/2847538.2847544","DOI":"10.1145\/2847538.2847544"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33654-6_27"},{"key":"e_1_3_2_1_13_1","unstructured":"N. Leone G. Pfeifer W. Faber T. Eiter G. Gottlob S. Perri and F. Scarcello. 2004. The DLV System for Knowledge Representation and Reasoning. TOCL. 10.1145\/1149114.1149117 N. Leone G. Pfeifer W. Faber T. Eiter G. Gottlob S. Perri and F. Scarcello. 2004. The DLV System for Knowledge Representation and Reasoning. TOCL. 10.1145\/1149114.1149117"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Nuno Macedo and Alcino Cunha. 2013. Implementing QVT-R Bidirectional Model Transformations Using Alloy.. In FASE. 297\u2013311. 10.1007\/978-3-642-37057-1_22 Nuno Macedo and Alcino Cunha. 2013. Implementing QVT-R Bidirectional Model Transformations Using Alloy.. In FASE. 297\u2013311. 10.1007\/978-3-642-37057-1_22","DOI":"10.1007\/978-3-642-37057-1_22"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88643-3_10"},{"key":"e_1_3_2_1_16_1","unstructured":"Perdita Stevens. 2009. Bidirectional model transformations in QVT: semantic issues and open questions. SOSYM 8 (2009). Perdita Stevens. 2009. Bidirectional model transformations in QVT: semantic issues and open questions. SOSYM 8 (2009)."},{"key":"e_1_3_2_1_17_1","unstructured":"T. Zan H. Pacheco and Z. Hu. 2014. Writing bidirectional model transformations as intentional updates.. In ICSE Companion. 488\u2013491. Abstract 1 Introduction 2 JTL Bidirectional Transformations 3 JTL engine and semantics 4 Execution and results 5 Related Work 6 Conclusion and Future Work References 10.1145\/2591062.2591102 T. Zan H. Pacheco and Z. Hu. 2014. Writing bidirectional model transformations as intentional updates.. In ICSE Companion. 488\u2013491. Abstract 1 Introduction 2 JTL Bidirectional Transformations 3 JTL engine and semantics 4 Execution and results 5 Related Work 6 Conclusion and Future Work References 10.1145\/2591062.2591102"}],"event":{"name":"<Programming> 2018: 2nd International Conference on the Art, Science, and Engineering of Programming 2018","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Nice France","acronym":"<Programming> 2018"},"container-title":["Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3191720","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3191697.3191720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T13:59:53Z","timestamp":1751723993000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3191720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":17,"alternative-id":["10.1145\/3191697.3191720","10.1145\/3191697"],"URL":"https:\/\/doi.org\/10.1145\/3191697.3191720","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]}}}