Marwan Abi-Antoun
ABSTRACT
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code.
First, this work will make the ownership domains type system more expressive. Second, ownership domain annotations enable obtaining, at compile time, the execution structure of an annotated program. The execution structure is sound, hierarchical and scales to large programs. It also conveys more design intent that existing compile-time approaches that do not rely on ownership annotations. Finally, tools will infer these annotations semi-automatically at compile time, once a developer provides the design intent.
- M. Abi-Antoun and J. Aldrich. Compile-Time Views of Execution Structure Based on Ownership. In IWACO, 2007.Google Scholar
- M. Abi-Antoun and J. Aldrich. Ownership Domains in the Real World. In IWACO, 2007.Google Scholar
- J. Aldrich and C. Chambers. Ownership Domains: Separating Aliasing Policy from Mechanism. In ECOOP, 2004.Google ScholarCross Ref
- J. Aldrich, V. Kostadinov, and C. Chambers. Alias Annotations for Program Understanding. In OOPSLA, 2002. Google ScholarDigital Library
- D. G. Clarke, J. M. Potter, and J. Noble. Ownership Types for Flexible Alias Protection. In OOPSLA, 1998. Google ScholarDigital Library
- W. Dietl and P. Müller. Universes: Lightweight Ownership for JML. J. Object Technology, 4(8), 2005.Google Scholar
- C. Flanagan and S. N. Freund. Dynamic Architecture Extraction. In Workshop on Formal Approaches to Testing and Runtime Verification, 2006. Google ScholarDigital Library
- JHotDraw. http://www.jhotdraw.org/, 1996.Google Scholar
- D. Jackson and A. Waingold. Lightweight Extraction of Object Models from Bytecode. IEEE Transactions on Software Engineering, 27(2):156--169, 2001. Google ScholarDigital Library
- P. Lam and M. Rinard. A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. In ECOOP, 2003.Google ScholarCross Ref
- R. W. O'Callahan. Generalized Aliasing as a Basis for Program Analysis Tools. PhD thesis, Carnegie Mellon University, 2001. Google ScholarDigital Library
- D. Rayside, L. Mendel, and D. Jackson. A Dynamic Analysis for Revealing Object Ownership and Sharing. In Workshop on Dynamic Analysis, pages 57--64, 2006. Google ScholarDigital Library
- D. Rayside, L. Mendel, R. Seater, and D. Jackson. An Analysis and Visualization for Revealing Object Sharing. In Eclipse Technology eXchange (ETX), 2005. Google ScholarDigital Library
Index Terms
- Compile-time execution structure of object-oriented programs with practical ownership domain annotations
Recommendations
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations
ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software EngineeringOwnership domain annotations enable obtaining at compile-time the system's execution structure from the annotated program. The execution structure is sound, hierarchical (and thus more scalable) and conveys more design intent than flat object graphs ...
Object graphs with ownership domains: an empirical study
Aliasing in Object-Oriented ProgrammingResearchers have proposed many ownership type systems but reported limited experience with most of them on real object-oriented code. Only a few systems have been implemented, and there have been few substantial case studies done with those systems.
In ...
A static analysis for extracting runtime views from annotated object-oriented code
OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applicationsWe demonstrate a static analysis for extracting instance-based hierarchical views showing the runtime object graph for object-oriented programs. The code is annotated with ownership domain annotations and with additional annotations to make the output ...
Comments