Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations

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]

Authors

Marwan Abi-Antoun

This author has not been identified. Look up 'Marwan Abi-Antoun' in Google

Jonathan Aldrich

This author has not been identified. Look up 'Jonathan Aldrich' in Google