A Type System for Controlling Representation Exposure in Java

In: Drossopoulou, S. and Eisenbach, S. and Jacobs, B. and Leavens, G. T. and M{"u}ller, P. and Poetzsch-Heffter, A.ed., Formal Techniques for Java Programs. Technical Report 269, Fernuniversität Hagen, Available, 2000

Authors

• Peter Müller
• Arnd Poetzsch-Heffter

Abstract

typesystem-bibtex wp text:

Full Text

• PDF: typesystem.pdf
• PS.GZ: typesystem.ps.gz

BibTeX

@InProceedings{Mueller.Poetzsch-Heffter00type, 
   author = {Peter Müller and Arnd Poetzsch-Heffter}
   title = {A Type System for Controlling Representation Exposure in Java },
   booktitle = {Formal Techniques for Java Programs},
   institution = {Technical Report 269, Fernuniversität Hagen},
   note = {Available},
   year = {2000},
}