A field study in static extraction of runtime architectures
Marwan Abi-Antoun, Jonathan Aldrich · 2008
We recently developed a static analysis to extract runtime architectures from object-oriented programs written in existing languages. The approach relies on adding ownership domain annotations to the code, and statically extracts a hierarchical runtime architecture from an annotated program.