Alias count facilitate ownership transfer

Authors:
Duraisamy S. Pradeep Kumar
Affiliations:
Anna University, Chennai, India
Venue:
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Year:
2008

Citing 6
Cited 1

Alias annotations for program understanding

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ownership types for object encapsulation

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lightweight confinement for featherweight java

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Modal logic & ownership types: uniting three worlds

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Multiple ownership

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Ownership transfer in universe types

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications

Typelets

Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Quantified Score

Hi-index	0.00

Visualization

Abstract

Existing ownership system forces fixed ownership, whereby an object cannot change its owner at runtime. Transferring ownership dynamically may produce security holes like reference exposure, dangling pointer, etc., that may affect the predestined securities. Here we focus on representing alias bounds on objects which helps in ownership transfer.