{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:22Z","timestamp":1750307122393,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,25]],"date-time":"2011-07-25T00:00:00Z","timestamp":1311552000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004895","name":"European Social Fund","doi-asserted-by":"publisher","award":["POSDRU\/21\/1.5\/G\/13798"],"award-info":[{"award-number":["POSDRU\/21\/1.5\/G\/13798"]}],"id":[{"id":"10.13039\/501100004895","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministry of Labour, Family and Social Protection, Romania","award":["G@POSDRU 6\/1.5\/S\/13 (2008)"],"award-info":[{"award-number":["G@POSDRU 6\/1.5\/S\/13 (2008)"]}]},{"name":"Romanian National Research Council (CNCSIS) under project \"Methods and Tools for Continuous Quality Assurance in Complex Software Systems\"","award":["PNII-IDEI 357\/1.10.2007"],"award-info":[{"award-number":["PNII-IDEI 357\/1.10.2007"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,7,25]]},"DOI":"10.1145\/2076674.2076683","type":"proceedings-article","created":{"date-parts":[[2011,12,6]],"date-time":"2011-12-06T19:06:49Z","timestamp":1323198409000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Automatic inference of model fields and their representation"],"prefix":"10.1145","author":[{"given":"Mihai","family":"Balint","sequence":"first","affiliation":[{"name":"Politehnica University of Timi\u015foara, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Minea","sequence":"additional","affiliation":[{"name":"Politehnica University of Timi\u015foara, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,7,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040314"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859097"},{"volume-title":"Cambridge University Press","year":"2000","author":"Beck K.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"B. Beckert and D. Bruns. Formal semantics of model fields in annotation-based specifications inspired by a generalization of Hilbert's \u03b5 terms. To appear 2011.  B. Beckert and D. Bruns. Formal semantics of model fields in annotation-based specifications inspired by a generalization of Hilbert's \u03b5 terms. To appear 2011.","DOI":"10.1007\/978-3-642-33347-7_2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"B.\n       \n      Beckert R.\n       \n      H\u00e4hnle and \n      \n      \n      P. H.\n       \n      Schmitt editors\n      \n  \n  . \n  Verification of Object-Oriented Software: The KeY Approach volume \n  4334\n   of \n  LNCS\n  . \n  Springer 2007\n  .   B. Beckert R. H\u00e4hnle and P. H. Schmitt editors. Verification of Object-Oriented Software: The KeY Approach volume 4334 of LNCS . Springer 2007.","DOI":"10.1007\/978-3-540-69061-0"},{"volume-title":"Proceedings of the Fifth ECOOP Workshop on Formal Techniques for Java-like Programs","year":"2003","author":"Breunesse C.-B.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542517"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v35:6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2005.4.8.a4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.15"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_11"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647540.730008"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/AGILE.2006.44"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831723"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/WODA.2007.3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1401827.1401839"},{"key":"e_1_3_2_1_19_1","unstructured":"G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. Cok P. M\u00fcller J. Kiniry P. Chalin D. M. Zimmerman and W. Dietl. JML Reference Manual Draft Revision 2344 Feb. 2011. Available at http:\/\/www.jmlspecs.org\/documentation.shtml.  G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. Cok P. M\u00fcller J. Kiniry P. Chalin D. M. Zimmerman and W. Dietl. JML Reference Manual Draft Revision 2344 Feb. 2011. Available at http:\/\/www.jmlspecs.org\/documentation.shtml."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286953"},{"key":"e_1_3_2_1_21_1","first-page":"254","volume-title":"Formal methods for distributed processing: a survey of object-oriented approaches","author":"Liskov B. H.","year":"2001"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2009.31"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45651-1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353186"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70744"}],"event":{"name":"ECOOP '11: European Conference on Object-Oriented Programming","sponsor":["Lancaster University Lancaster University","AITO Assoc Internationale por les Technologies Objects","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lancaster United Kingdom","acronym":"ECOOP '11"},"container-title":["Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2076674.2076683","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2076674.2076683","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:25Z","timestamp":1750240105000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2076674.2076683"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,25]]},"references-count":26,"alternative-id":["10.1145\/2076674.2076683","10.1145\/2076674"],"URL":"https:\/\/doi.org\/10.1145\/2076674.2076683","relation":{},"subject":[],"published":{"date-parts":[[2011,7,25]]},"assertion":[{"value":"2011-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}