Infering Ownership Types for Encapsulated Object-Oriented Program Components

In: T. Reps, M. Sagiv, and J. Bauered., Program Analysis and Compilation, Theory and Practice: Essays dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, volume 4444, p. 120--144, 2007

Authors

• Arnd Poetzsch-Heffter
• Kathrin Geilmann
• Jan Schäfer

BibTeX

@InProceedings{Poetzsch-Heffter.EA07infering, 
   author = {Arnd Poetzsch-Heffter and Kathrin Geilmann and Jan Schäfer}
   title = {Infering Ownership Types for Encapsulated Object-Oriented Program Components},
   booktitle = {Program Analysis and Compilation, Theory and Practice: Essays dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday},
   series = {LNCS},
   publisher = {Springer},
   pages = {120--144},
   year = {2007},
}