Simple Loose Ownership Domains

In: ECOOP Workshop on Formal Techniques for Java-like Programs, FTfJP 2006. July, 2006

Authors

• Jan Schäfer
• Arnd Poetzsch-Heffter

Full Text

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

BibTeX

@InProceedings{slod06simple, 
   author = {Jan Schäfer and Arnd Poetzsch-Heffter}
   title = {Simple Loose Ownership Domains},
   booktitle = {ECOOP Workshop on Formal Techniques for Java-like Programs, FTfJP 2006},
   month = {July},
   year = {2006},
}