Composing leads-to properties

✍ Scribed by David Meier; Beverly Sanders

• Book ID: 104326601
• Publisher: Elsevier Science
• Year: 2000
• Tongue: English
• Weight: 133 KB
• Volume: 243
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(98)00233-3

✦ Synopsis

Compositionality is of great practical importance when building systems from individual components. Unfortunately, leads-to properties are not, in general, compositional, and theorems describing the special cases where they are, are needed. In this paper, we develop a general theory of compositional leads-to properties, and use it to derive a composition theorem based on the notion of progress sets, where progress sets can be deÿned in various ways. Appropriate deÿnitions of progress sets yield new results and generalized versions of known theorems.