English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

The size-change abstraction (SCA) is an important program abstraction fortermination analysis, which has been successfully implemented in many tools forfunctional and logic programs. In this paper, we demonstrate that SCA is also ahighly effective abstract domain for the bound analysis of imperative programs.  We have implemented a bound analysis tool based on SCA for imperativeprograms. We abstract programs in a pathwise and context dependent manner,which enables our tool to analyze real-world programs effectively. Our workshows that SCA captures many of the essential ideas of previous termination andbound analysis and goes beyond in a conceptually simpler framework.

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)