{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:21Z","timestamp":1750306881014,"version":"3.41.0"},"reference-count":7,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2012,8,27]],"date-time":"2012-08-27T00:00:00Z","timestamp":1346025600000},"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":["SIGACT News"],"published-print":{"date-parts":[[2012,8,27]]},"DOI":"10.1145\/2421096.2421112","type":"journal-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T13:23:15Z","timestamp":1357132995000},"page":"60-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Modulo intervals"],"prefix":"10.1145","volume":"43","author":[{"given":"Nachum","family":"Dershowitz","sequence":"first","affiliation":[{"name":"Tel Aviv University, Tel Aviv, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward M.","family":"Reingold","sequence":"additional","affiliation":[{"name":"Illinois Institute of Technology, Chicago, Illinois"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,8,27]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.1145\/128861.128862"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_1","DOI":"10.1109\/TC.2005.36"},{"key":"e_1_2_1_3_1","volume-title":"Calendrical Calculations","author":"Dershowitz Nachum","year":"2007","unstructured":"Nachum Dershowitz and Edward M. Reingold . Calendrical Calculations . Cambridge University Press , New York, NY, USA , 3 rd edition, 2007 . Nachum Dershowitz and Edward M. Reingold. Calendrical Calculations. Cambridge University Press, New York, NY, USA, 3rd edition, 2007.","edition":"3"},{"key":"e_1_2_1_4_1","volume-title":"Concrete Mathematics","author":"Graham Ronald L.","year":"1994","unstructured":"Ronald L. Graham , Donald E. Knuth , and Oren Patashnik . Concrete Mathematics . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2 nd edition, 1994 . Ronald L. Graham, Donald E. Knuth, and Oren Patashnik. Concrete Mathematics. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2nd edition, 1994.","edition":"2"},{"key":"e_1_2_1_5_1","volume-title":"A Programming Language","author":"Iverson Kenneth E.","year":"1962","unstructured":"Kenneth E. Iverson . A Programming Language . John Wiley & Sons, Inc. , New York, NY, USA , 1962 . Kenneth E. Iverson. A Programming Language. John Wiley & Sons, Inc., New York, NY, USA, 1962."},{"key":"e_1_2_1_6_1","volume-title":"Modulo interval arithmetic and its application to program analysis","author":"Nakanishi Tsuneo","year":"2001","unstructured":"Tsuneo Nakanishi and Akira Fukuda . Modulo interval arithmetic and its application to program analysis . Transactions of Information Processing Society of Japan (J\u00f6h\u00f6 Shori Gakkai ronbun shi), 42(4):829--837, April 2001 . Tsuneo Nakanishi and Akira Fukuda. Modulo interval arithmetic and its application to program analysis. Transactions of Information Processing Society of Japan (J\u00f6h\u00f6 Shori Gakkai ronbun shi), 42(4):829--837, April 2001."},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","DOI":"10.5555\/520793.825734"}],"container-title":["ACM SIGACT News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2421096.2421112","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2421096.2421112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:34Z","timestamp":1750234714000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2421096.2421112"}},"subtitle":["a proposed notation"],"short-title":[],"issued":{"date-parts":[[2012,8,27]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,8,27]]}},"alternative-id":["10.1145\/2421096.2421112"],"URL":"https:\/\/doi.org\/10.1145\/2421096.2421112","relation":{},"ISSN":["0163-5700"],"issn-type":[{"type":"print","value":"0163-5700"}],"subject":[],"published":{"date-parts":[[2012,8,27]]},"assertion":[{"value":"2012-08-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}