{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T00:29:19Z","timestamp":1780100959980,"version":"3.54.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,2]],"date-time":"2012-09-02T00:00:00Z","timestamp":1346544000000},"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":[[2012,9,2]]},"DOI":"10.1145\/2364412.2364422","type":"proceedings-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T13:01:27Z","timestamp":1347454887000},"page":"53-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["A transformational proof system for delta-oriented programming"],"prefix":"10.1145","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Torino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olaf","family":"Owe","sequence":"additional","affiliation":[{"name":"University of Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Johan","family":"Dovland","sequence":"additional","affiliation":[{"name":"University of Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[{"name":"University of Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ingrid Chieh","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/357146.357150"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1642724"},{"key":"e_1_3_2_1_4_1","first-page":"71","volume-title":"VaMoS","author":"Asirelli P.","year":"2009","unstructured":"P. Asirelli , M. H. ter Beek , S. Gnesi , and A. Fantechi . Deontic logics for modeling behavioural variability . In VaMoS , pp. 71 -- 76 , January 2009 . P. Asirelli, M. H. ter Beek, S. Gnesi, and A. Fantechi. Deontic logics for modeling behavioural variability. In VaMoS, pp. 71--76, January 2009."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"issue":"12","key":"e_1_3_2_1_6_1","first-page":"2059","article-title":"Modularizing theorems for software product lines: The Jbook case study","volume":"14","author":"Batory D. S.","year":"2008","unstructured":"D. S. Batory and E. B\u00f6rger . Modularizing theorems for software product lines: The Jbook case study . J. UCS , 14 ( 12 ): 2059 -- 2082 , 2008 . D. S. Batory and E. B\u00f6rger. Modularizing theorems for software product lines: The Jbook case study. J. UCS, 14(12): 2059--2082, 2008.","journal-title":"J. UCS"},{"key":"e_1_3_2_1_7_1","volume-title":"LNCS 4334","author":"Beckert B.","year":"2007","unstructured":"B. Beckert , R. H\u00e4hnle , and P. H. Schmitt , editors . Verification of Object-Oriented Software: The KeY Approach , LNCS 4334 . Springer , 2007 . B. Beckert, R. H\u00e4hnle, and P. H. Schmitt, editors. Verification of Object-Oriented Software: The KeY Approach, LNCS 4334. Springer, 2007."},{"key":"e_1_3_2_1_8_1","volume-title":"September","author":"Bettini L.","year":"2011","unstructured":"L. Bettini , F. Damiani , D. Meglio , I. Schaefer , and F. Strocco . DeltaJ website (New Version) , September 2011 . http:\/\/deltaj.sourceforge.net\/. L. Bettini, F. Damiani, D. Meglio, I. Schaefer, and F. Strocco. DeltaJ website (New Version), September 2011. http:\/\/deltaj.sourceforge.net\/."},{"key":"e_1_3_2_1_9_1","volume-title":"FoVeOOS","author":"Bruns D.","year":"2010","unstructured":"D. Bruns , V. Klebanov , and I. Schaefer . Verification of software product lines with delta-oriented slicing . In FoVeOOS 2010 , LNCS 6528. Springer , 2011. D. Bruns, V. Klebanov, and I. Schaefer. Verification of software product lines with delta-oriented slicing. In FoVeOOS 2010, LNCS 6528. Springer, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_11_1","first-page":"135","volume-title":"FOSSACS, LNCS 1578","author":"de Boer F. S.","year":"1999","unstructured":"F. S. de Boer . A WP-calculus for OO . In FOSSACS, LNCS 1578 , pp. 135 -- 149 . Springer , 1999 . F. S. de Boer. A WP-calculus for OO. In FOSSACS, LNCS 1578, pp. 135--149. Springer, 1999."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1509837.1509846"},{"key":"e_1_3_2_1_13_1","volume-title":"Theorem Proving for Product Lines. In OOPSLA'11","author":"Delaware B.","year":"2011","unstructured":"B. Delaware , W. Cook , and D. Batory . Theorem Proving for Product Lines. In OOPSLA'11 , 2011 . B. Delaware, W. Cook, and D. Batory. Theorem Proving for Product Lines. In OOPSLA'11, 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.07.008"},{"key":"e_1_3_2_1_15_1","volume-title":"FoVeOOS","author":"H\u00e4hnle R.","year":"2011","unstructured":"R. H\u00e4hnle and I. Schafer . A Liskov Principle for Delta-oriented Programming . In FoVeOOS 2011 , LNCS 7421. Springer , 2012. R. H\u00e4hnle and I. Schafer. A Liskov Principle for Delta-oriented Programming. In FoVeOOS 2011, LNCS 7421. Springer, 2012."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268134"},{"key":"e_1_3_2_1_18_1","first-page":"77","volume-title":"SPLC, LNCS 6287","author":"Schaefer I.","year":"2010","unstructured":"I. Schaefer , L. Bettini , V. Bono , F. Damiani , and N. Tanzarella . Delta-oriented Programming of Software Product Lines . In SPLC, LNCS 6287 , pp. 77 -- 91 . Springer , 2010 . I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella. Delta-oriented Programming of Software Product Lines. In SPLC, LNCS 6287, pp. 77--91. Springer, 2010."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960283"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2011.47"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2004685.2005509"}],"event":{"name":"SPLC - Vol. II: 16th International Software Product Line Conference","location":"Salvador Brazil","acronym":"SPLC - Vol. II","sponsor":["Pure-Systems Pure-Systems GmbH","Petrobras Petr\u00f3leo Brasileiro S\/A","SEBRAE Servi\u00e7o Brasileiro de Apoio \u00e0s Micro E Pequenas Empresas","FAPESB Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado da Bahia","Hitachi","INES National Institute of Science and Technology for Software Engineering","IEEE Institute of Electrical and Electronics Engineers","Software Eng Inst Software Engineering Institute","Biglever BigLever Software, Inc.","CAPES Brazilian Higher Education Funding Council"]},"container-title":["Proceedings of the 16th International Software Product Line Conference - Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364412.2364422","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2364412.2364422","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:59Z","timestamp":1750282619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364412.2364422"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,2]]},"references-count":21,"alternative-id":["10.1145\/2364412.2364422","10.1145\/2364412"],"URL":"https:\/\/doi.org\/10.1145\/2364412.2364422","relation":{},"subject":[],"published":{"date-parts":[[2012,9,2]]},"assertion":[{"value":"2012-09-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}