Aliasing in Object-Oriented Programming 2013

The Geneva Convention

Ownership

Concurrency

Alias Analysis

Controlling Effects

Verification

Programming Languages

Visions

a service of Schloss Dagstuhl - Leibniz Center for Informatics