6 search results - page 1 / 2 » Static extraction of sound hierarchical runtime object graph... |
TLDI
2009
ACM
14 years 2 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
OOPSLA
2009
Springer
13 years 12 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
IBPRIA
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we propose a new method to extract moving objects from a video stream without any motion estimation. The objective is to obtain a method robust to noise, large motio...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...