{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:45:55Z","timestamp":1730220355894,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/escience.2017.61","type":"proceedings-article","created":{"date-parts":[[2017,11,16]],"date-time":"2017-11-16T16:56:21Z","timestamp":1510851381000},"page":"440-441","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Program Analyses Using Deductive and Semantic Methodologies"],"prefix":"10.1109","author":[{"given":"Ganesh","family":"Selvaraj","sequence":"first","affiliation":[]},{"given":"Gerald","family":"Weber","sequence":"additional","affiliation":[]},{"given":"Christof","family":"Lutteroth","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1103845.1094817"},{"key":"ref11","article-title":"Source-code queries with graph databases-with application to programming language usage and evolution","author":"urma","year":"2013","journal-title":"Science of Computer Programming"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1900008.1900067"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/996893.996859"},{"key":"ref14","article-title":"Towards ontology-based program analysis","author":"zhao","year":"2016","journal-title":"LIPIcs-Leibniz International Proceedings in Informatics volume 56 Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065169"},{"journal-title":"Toward full elasticity in distributed static analysis","year":"2016","author":"garbervetsky","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065034"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2541228.2555296"},{"key":"ref2","first-page":"677","article-title":"Graph-based algorithms for boolean function manipulation. Computers","volume":"100","author":"bryant","year":"1986","journal-title":"IEEE Transactions"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273923"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-408-1_10"}],"event":{"name":"2017 IEEE 13th International Conference on e-Science (e-Science)","start":{"date-parts":[[2017,10,24]]},"location":"Auckland","end":{"date-parts":[[2017,10,27]]}},"container-title":["2017 IEEE 13th International Conference on e-Science (e-Science)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8108702\/8109104\/08109166.pdf?arnumber=8109166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,18]],"date-time":"2017-12-18T18:21:01Z","timestamp":1513621261000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8109166\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/escience.2017.61","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}