{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:23:56Z","timestamp":1775013836196,"version":"3.50.1"},"reference-count":9,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1134\/s0361768810030059","type":"journal-article","created":{"date-parts":[[2010,5,26]],"date-time":"2010-05-26T08:15:43Z","timestamp":1274861743000},"page":"166-176","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Development of the value numbering method"],"prefix":"10.1134","volume":"36","author":[{"given":"A. N.","family":"Filippov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2010,5,27]]},"reference":[{"key":"6069_CR1","unstructured":"Kasinskii, A.I., Computation of Bit Ranges for Arithmetic and Logical Expressions, Vysokoproizvoditel\u2019nye Vychisl. Sist. Mach., 2001, No. 2."},{"key":"6069_CR2","volume-title":"Advanced Compiler Design and Implementation","author":"S.S. Muchnik","year":"1997","unstructured":"Muchnik, S.S., Advanced Compiler Design and Implementation, San Francisco: Kauffman, 1997."},{"key":"6069_CR3","unstructured":"Drozdov, A.Yu, Novikov, S.V., Bokhanko, A.S., and Galazin, A.B., Global Dataflow Graph, and Its Role in Optimizing Transformation of Programs, Vysokoproiz-voditel\u2019nye Vychisl. Sist. Mach., 2005, No. 8."},{"key":"6069_CR4","volume-title":"Value-Driven Redundancy Elimination","author":"L.T. Simpson","year":"1996","unstructured":"Simpson, L.T., Value-Driven Redundancy Elimination, Ph. D. Thesis, Rice University, Houston, Texas, April, 1996."},{"key":"6069_CR5","unstructured":"Filippov, A.N., Value Numbering Method and Its Use in Program Optimization, Informatsionnye Tekhnol., 2009, No. 4."},{"key":"6069_CR6","unstructured":"http:\/\/www.mcst.ru"},{"key":"6069_CR7","doi-asserted-by":"crossref","unstructured":"Steengaard, B., Points-to Analysis in Almost Linear Time, in Proc. of the 23 Annual ACM Symposium on Principles of Programming Languages, 1996.","DOI":"10.1145\/237721.237727"},{"key":"6069_CR8","unstructured":"Standard Performance Evaluation Corporation, http:\/\/www.spec.org"},{"key":"6069_CR9","volume-title":"Effective Partial Redundancy Elimination, Department of Computer Science","author":"P. Briggs","year":"1994","unstructured":"Briggs, P. and Cooper, K.D., Effective Partial Redundancy Elimination, Department of Computer Science, Rice University, Houston, Texas, 1994."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810030059.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768810030059","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810030059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810030059.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:12:38Z","timestamp":1775009558000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768810030059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["6069"],"URL":"https:\/\/doi.org\/10.1134\/s0361768810030059","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5]]},"assertion":[{"value":"18 August 2008","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}