グローバルプロパティのためのローカル推論
この記事では、ソフトウェアシステムにおいてグローバルな性質（全体としての振る舞いや安全性）を保証するために、ローカルな推論（局所的なコード解析やモジュール単位の検証）をどのように活用できるかについて考察する。著者は、大規模システム全体を一度に検証するのではなく、各コンポーネントの局所的な性質を積み上げることで、グローバルな correctness を効率的に達成する手法を論じている。
背景メモ
この記事は、ソフトウェア開発における「ローカルな推論（局所的なコードの理解）」が、プログラム全体にわたる「グローバルな性質（パフォーマンスやメモリ安全性など）」の保証と相反する問題を扱っている。著者のLaurie Trattは、プログラミング言語設計・実装（特にコンパイラ）を専門とする学者で、複数の言語処理系（Converge、KEEP、OMetaなど）を開発してきた。