{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:59Z","timestamp":1750307999420,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,5,28]],"date-time":"2006-05-28T00:00:00Z","timestamp":1148774400000},"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":[[2006,5,28]]},"DOI":"10.1145\/1134285.1134438","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"873-876","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Integrating static analysis and general-purpose theorem proving for termination analysis"],"prefix":"10.1145","author":[{"given":"Panagiotis","family":"Manolios","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daron","family":"Vroon","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/278283.278285"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00207-8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/380921.380932"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_1"},{"key":"e_1_3_2_1_6_1","volume-title":"6th International Conference, VMCAI 2005","volume":"3385","author":"Cousot Radhia","year":"2005","unstructured":"Radhia Cousot , editor. Verification, Model Checking , and Abstract Interpretation , 6th International Conference, VMCAI 2005 , volume 3385 of Lecture Notes in Computer Science. Springer , 2005 . Radhia Cousot, editor. Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, volume 3385 of Lecture Notes in Computer Science. Springer, 2005."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647615.731565"},{"key":"e_1_3_2_1_9_1","volume-title":"June","author":"Kaufmann Matt","year":"2000","unstructured":"Matt Kaufmann , Panagiotis Manolios , and J Strother Moore , editors. Computer-Aided Reasoning: ACL2 Case Studies Kluwer Academic Publishers , June 2000 . Matt Kaufmann, Panagiotis Manolios, and J Strother Moore, editors. Computer-Aided Reasoning: ACL2 Case Studies Kluwer Academic Publishers, June 2000."},{"key":"e_1_3_2_1_10_1","volume-title":"Computer-Aided Reasoning: An Approach","author":"Kaufmann Matt","year":"2000","unstructured":"Matt Kaufmann , Panagiotis Manolios , and J Strother Moore . Computer-Aided Reasoning: An Approach . Kluwer Academic Publishers , July 2000 . Matt Kaufmann, Panagiotis Manolios, and J Strother Moore. Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, July 2000."},{"key":"e_1_3_2_1_11_1","unstructured":"Matt Kaufmann and J Strother Moore. ACL2 homepage. See URL htmlhttp:\/\/-www.cs.-utexas.edu\/-users\/-moore\/-acl2.  Matt Kaufmann and J Strother Moore. ACL2 homepage. See URL htmlhttp:\/\/-www.cs.-utexas.edu\/-users\/-moore\/-acl2."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360210"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-005-9023-9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Panagiotis\n      Manolios\n     and \n      Daron\n      Vroon\n    .\n  Algorithms for ordinal arithmetic\n  . In Franz Baader editor 19th International Conference on Automated Deduction -- CADE-19 volume \n  2741\n   of \n  LNAI pages \n  243\n  --\n  257\n  . \n  Springer--Verlag July\/August \n  2003\n  .  Panagiotis Manolios and Daron Vroon. Algorithms for ordinal arithmetic. In Franz Baader editor 19th International Conference on Automated Deduction -- CADE-19 volume 2741 of LNAI pages 243--257. Springer--Verlag July\/August 2003.","DOI":"10.1007\/978-3-540-45085-6_19"},{"key":"e_1_3_2_1_15_1","volume-title":"Fourth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2003)","author":"Manolios Panagiotis","year":"2003","unstructured":"Panagiotis Manolios and Daron Vroon . Ordinal arithmetic in ACL2 In Matt Kaufmann and J Strother Moore, editors , Fourth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2003) , July 2003 . See URL htmlhttp:\/\/-www.cs.-utexas.edu\/-users\/-moore\/-acl2\/-workshop- 2003\/. Panagiotis Manolios and Daron Vroon. Ordinal arithmetic in ACL2 In Matt Kaufmann and J Strother Moore, editors, Fourth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2003), July 2003. See URL htmlhttp:\/\/-www.cs.-utexas.edu\/-users\/-moore\/-acl2\/-workshop-2003\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_7"},{"key":"e_1_3_2_1_17_1","volume-title":"5th International Conference, VMCAI 2004","volume":"2937","author":"Podelski Andreas","year":"2004","unstructured":"Andreas Podelski and Andrey Rybalchenko . A complete method for the synthesis of linear ranking functions. In Verification, Model Checking, and Abstract Interpretation , 5th International Conference, VMCAI 2004 , volume 2937 of Lecture Notes in Computer Science, pages 239--251. Springer , 2004 . Andreas Podelski and Andrey Rybalchenko. A complete method for the synthesis of linear ranking functions. In Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, volume 2937 of Lecture Notes in Computer Science, pages 239--251. Springer, 2004."}],"event":{"name":"ICSE06: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Shanghai China","acronym":"ICSE06"},"container-title":["Proceedings of the 28th international conference on Software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134285.1134438","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1134285.1134438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:25Z","timestamp":1750259185000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134285.1134438"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,28]]},"references-count":17,"alternative-id":["10.1145\/1134285.1134438","10.1145\/1134285"],"URL":"https:\/\/doi.org\/10.1145\/1134285.1134438","relation":{},"subject":[],"published":{"date-parts":[[2006,5,28]]},"assertion":[{"value":"2006-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}