{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:21:49Z","timestamp":1761805309438},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/etfa.2013.6648062","type":"proceedings-article","created":{"date-parts":[[2013,11,2]],"date-time":"2013-11-02T00:09:46Z","timestamp":1383350986000},"page":"1-8","source":"Crossref","is-referenced-by-count":12,"title":["Points-to analysis of IEC 61131-3 programs: Implementation and application"],"prefix":"10.1109","author":[{"given":"Florian","family":"Angerer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herbert","family":"Prahofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Ramler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Friedrich","family":"Grillenberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"17","first-page":"28","article-title":"Opportunitiesand challenges of static code analysis of iec61131-3 programs","author":"prahofer","year":"2012","journal-title":"Proc IEEE ETFA '11"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_15"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"journal-title":"Advanced Compiler Design and Implementation","year":"1997","author":"muchnick","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025160"},{"key":"12","first-page":"1","article-title":"Parameterizedobject sensitivity for points-to and side-effect analyses forJava","author":"milanova","year":"2002","journal-title":"Proceedings of the 2002 ACM SIGSOFT Internationalsymposium on Software Testing and Analysis ISSTA'02"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251536"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.38"},{"journal-title":"Program Analysis and Specialization Forthe C Programming Language","year":"1994","author":"andersen","key":"2"},{"year":"0","key":"1"},{"journal-title":"The Economicsof Software Quality","year":"2011","author":"jones","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27213-4_3"},{"journal-title":"PMD Applied Centennial Books Alexandria","year":"2005","author":"copeland","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75282"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.27"},{"key":"9","first-page":"963","article-title":"Understanding thevalue of program analysis tools","author":"jaspan","year":"2007","journal-title":"Companion to the 22ndACM SIGPLAN Conference on Object-oriented Programmingsystems and Applications Companion"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/263700.264352"}],"event":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2013,9,10]]},"location":"Cagliari, Italy","end":{"date-parts":[[2013,9,13]]}},"container-title":["2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6636144\/6647927\/06648062.pdf?arnumber=6648062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T00:38:21Z","timestamp":1490229501000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6648062\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/etfa.2013.6648062","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}