{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:06:12Z","timestamp":1725725172787},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1997,5]]},"DOI":"10.1145\/258915.258938","type":"proceedings-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T16:24:15Z","timestamp":1068827055000},"page":"249-260","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Program analysis using binary relations"],"prefix":"10.1145","author":[{"given":"Adam Brooks","family":"Webber","sequence":"first","affiliation":[{"name":"Westerm Illinois University"}]}],"member":"320","published-online":{"date-parts":[[1997,5]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/321864.321875"},{"key":"e_1_3_2_1_2_2","volume-title":"Proceedings of the ~nd International Symposium on Programming","author":"Cousot Patrick","year":"1976","unstructured":"Patrick Cousot and Radhia Cousot . Static determination of dynamic properties of programs . In Proceedings of the ~nd International Symposium on Programming , 1976 . Patrick Cousot and Radhia Cousot. Static determination of dynamic properties of programs. In Proceedings of the ~nd International Symposium on Programming, 1976."},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/200994.200998"},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/234528.234740"},{"key":"e_1_3_2_1_7_2","first-page":"30","article-title":"Static analysis of arithmetical congruences","author":"Granger Philippe","year":"1989","unstructured":"Philippe Granger . Static analysis of arithmetical congruences . International Journal of Computer Mathematics , 30 , 1989 . Philippe Granger. Static analysis of arithmetical congruences. International Journal of Computer Mathematics, 30, 1989.","journal-title":"International Journal of Computer Mathematics"},{"key":"e_1_3_2_1_8_2","first-page":"169","volume-title":"TAPSOFT '~1 Proceedings of the International Joint Conference on Theory and Practice of Software Development","author":"Granger Philippe","year":"1991","unstructured":"Philippe Granger . Static analysis of linear congruence equalities among variables of a program . In TAPSOFT '~1 Proceedings of the International Joint Conference on Theory and Practice of Software Development , pages 169 - 192 . Springer-Verlag , April 1991 . Lecture Notes in Computer Science 493. Philippe Granger. Static analysis of linear congruence equalities among variables of a program. In TAPSOFT '~1 Proceedings of the International Joint Conference on Theory and Practice of Software Development, pages 169-192. Springer-Verlag, April 1991. Lecture Notes in Computer Science 493."},{"key":"e_1_3_2_1_9_2","first-page":"6","article-title":"Affine relationships among variables of a program","author":"Karr M.","year":"1976","unstructured":"M. Karr . Affine relationships among variables of a program . Acts Informatica , 6 , 1976 . M. Karr. Affine relationships among variables of a program. Acts Informatica, 6, 1976.","journal-title":"Acts Informatica"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201067"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"}],"event":{"name":"PLDI97: Conference on Programming Language","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Las Vegas Nevada USA","acronym":"PLDI97"},"container-title":["Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/258915.258938","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T15:01:13Z","timestamp":1693839673000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/258915.258938"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,5]]},"references-count":11,"alternative-id":["10.1145\/258915.258938","10.1145\/258915"],"URL":"https:\/\/doi.org\/10.1145\/258915.258938","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/258916.258938","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1997,5]]},"assertion":[{"value":"1997-05-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}