{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:44:44Z","timestamp":1772163884720,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,1]],"date-time":"2005-09-01T00:00:00Z","timestamp":1125532800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9]]},"DOI":"10.1145\/1081706.1081721","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"90-98","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Arithmetic program paths"],"prefix":"10.1145","author":[{"given":"Manos","family":"Renieris","sequence":"first","affiliation":[{"name":"Brown University, Providence, RI"}]},{"given":"Shashank","family":"Ramaprasad","sequence":"additional","affiliation":[{"name":"Brown University, Providence, RI"}]},{"given":"Steven P.","family":"Reiss","sequence":"additional","affiliation":[{"name":"Brown University, Providence, RI"}]}],"member":"320","published-online":{"date-parts":[[2005,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93576"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/243846.243857"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005686.1005708"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/942806.943860"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1984.1056889"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379241"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222137"},{"key":"e_1_3_2_1_9_1","volume-title":"Van Hentenryck. Incremental Constraint Satisfaction in Logic Programming. In Seventh International Conference on Logic Programming","author":"Pascal","year":"1990","unstructured":"Pascal Van Hentenryck. Incremental Constraint Satisfaction in Logic Programming. In Seventh International Conference on Logic Programming , Jerusalem, Israel , June 1990 . Pascal Van Hentenryck. Incremental Constraint Satisfaction in Logic Programming. In Seventh International Conference on Logic Programming, Jerusalem, Israel, June 1990."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/JRPROC.1952.273898"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258929"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.282.0135"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380201205"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301678"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022669325321"},{"key":"e_1_3_2_1_16_1","volume-title":"Combining branch predictors. Technical Note TN-36","author":"McFarling Scott","year":"1993","unstructured":"Scott McFarling . Combining branch predictors. Technical Note TN-36 , Digital Equipment Corporation Western Research Laboratory (WRL) , June 1993 . Scott McFarling. Combining branch predictors. Technical Note TN-36, Digital Equipment Corporation Western Research Laboratory (WRL), June 1993."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/874051.874788"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_21_1","volume-title":"DCC: Data Compression Conference. IEEE Computer Society TCC","author":"Craig","year":"1997","unstructured":"Craig G. Nevill-Manning and Ian H. Witten. Linear-time, incremental hierarchy inference for compression . In DCC: Data Compression Conference. IEEE Computer Society TCC , 1997 . Craig G. Nevill-Manning and Ian H. Witten. Linear-time, incremental hierarchy inference for compression. In DCC: Data Compression Conference. IEEE Computer Society TCC, 1997."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/192724.192728"},{"key":"e_1_3_2_1_24_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BFb0019416","volume-title":"Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93","author":"Reiss Steven P.","year":"1993","unstructured":"Steven P. Reiss . Trace-based debugging . In Peter Fritzon, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93 , volume 749 of Lecture Notes in Computer Science , pages 305 -- 314 . Springer , 3-5 May 1993 . Steven P. Reiss. Trace-based debugging. In Peter Fritzon, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, volume 749 of Lecture Notes in Computer Science, pages 305--314. Springer, 3-5 May 1993."},{"key":"e_1_3_2_1_25_1","first-page":"221","volume-title":"Proceedings of the 23rd International Conference on Software Engineering","author":"Steven","year":"2003","unstructured":"Steven P. Reiss and Manos Renieris. Encoding program executions . In Proceedings of the 23rd International Conference on Software Engineering , pages 221 -- 230 , 2003 . Steven P. Reiss and Manos Renieris. Encoding program executions. In Proceedings of the 23rd International Conference on Software Engineering, pages 221--230, 2003."},{"key":"e_1_3_2_1_26_1","volume-title":"Acta Polytech. Scand. Math.","author":"Risannen J.J.","year":"1979","unstructured":"J.J. Risannen . Arithmetic codings as number representations . In Acta Polytech. Scand. Math. , 1979 . J.J. Risannen. Arithmetic codings as number representations. In Acta Polytech. Scand. Math., 1979."},{"key":"e_1_3_2_1_27_1","volume-title":"Bell Systems Technical Journal","author":"Shannon Claude E.","year":"1948","unstructured":"Claude E. Shannon . A mathematical theory of communication. Technical report , Bell Systems Technical Journal , 1948 . Claude E. Shannon. A mathematical theory of communication. Technical report, Bell Systems Technical Journal, 1948."},{"key":"e_1_3_2_1_28_1","volume-title":"Modern Processor Design: Fundamentals of Superscalar Processors","author":"Shen John Paul","year":"2005","unstructured":"John Paul Shen and Mikko H. Lipasti . Modern Processor Design: Fundamentals of Superscalar Processors . McGraw-Hill , 2005 . John Paul Shen and Mikko H. Lipasti. Modern Processor Design: Fundamentals of Superscalar Processors. McGraw-Hill, 2005."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/800052.801871"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/214762.214771"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165161"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378835"}],"event":{"name":"ESEC\/FSE05: Joint 10th European Software Engineering Conference 2005","location":"Lisbon Portugal","acronym":"ESEC\/FSE05","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081706.1081721","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081706.1081721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:33Z","timestamp":1750248513000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081706.1081721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9]]},"references-count":30,"alternative-id":["10.1145\/1081706.1081721","10.1145\/1081706"],"URL":"https:\/\/doi.org\/10.1145\/1081706.1081721","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1095430.1081721","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9]]},"assertion":[{"value":"2005-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}