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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.