Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture.

Marwan Abi-Antoun, Jonathan Aldrich

Browse the full OOPSLA paper archive.