Message-ID:

It's always sad when the fleas leave, because that means your dog is dead. -- Wesley T. Williams

computers / comp.ai.philosophy / Termination Analysis without the Tears (by Shaowei Zhu and Zachary Kincaid)

Termination Analysis without the Tears (by Shaowei Zhu and Zachary Kincaid)

<tjbvpl$sl9$1@gioia.aioe.org>

https://www.novabbs.com/computers/article-flat.php?id=9979&group=comp.ai.philosophy#9979

copy link Newsgroups: comp.theory sci.logic comp.ai.philosophy
Followup: comp.theory

Path: i2pn2.org!i2pn.org!aioe.org!5E1rRMN+2mMfRFJeH0yavA.user.46.165.242.91.POSTED!not-for-mail
From: none...@beez-waxes.com (olcott)
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Termination Analysis without the Tears (by Shaowei Zhu and Zachary
Kincaid)
Followup-To: comp.theory
Date: Wed, 26 Oct 2022 13:54:43 -0500
Organization: Aioe.org NNTP Server
Message-ID: <tjbvpl$sl9$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="29353"; posting-host="5E1rRMN+2mMfRFJeH0yavA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.4.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2

by: olcott - Wed, 26 Oct 2022 18:54 UTC

Determining whether a given program terminates is the
quintessential undecidable problem...

Conceptually, our method proves that a program terminates by computing a
transition formula for each loop that over-approximates the behavior of
its body, and then proving that the corresponding relation admits no
infinite sequences...

An efficient algorithm for computing an 𝜔-regular expression that
recognizes the infinite paths through a control flow graph, which forms
the algorithmic foundation of our program analysis framework.

https://dl.acm.org/doi/pdf/10.1145/3453483.3454110

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Subject	Author
Termination Analysis without the Tears (by Shaowei Zhu and Zachary	olcott