この記事は、確率プログラムの分析における課題を取り上げ、NPA-PMAが非反復的な解決策を提供している。確率プログラムの量的性質により反復型のプログラム分析が効率的でないことが示されています。NPA-PMAは、確率プログラムの間接データフロー分析のための新しいアプローチを提供し、3つの主要な望ましい特性(構成可能性、効率性、一般性)を達成します。これにより、確率プログラムのプログラム分析をサポートするために大きな可能性があることが示されます。
Egy másik nyelvre
a forrásanyagból
arxiv.org
Mélyebb kérdések