Aliasing in Object-Oriented Programming 2013

The Geneva Convention

Ownership

Concurrency

Alias Analysis

Controlling Effects

Verification

Programming Languages

Visions

maintained by Schloss Dagstuhl LZI at University of Trier