Marwan Abi-Antoun, Jonathan Aldrich. Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. In Shail Arora, Gary T. Leavens, editors, Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. pages 321-340, ACM, 2009. [doi]
Abstract is missing.