"From Low-Level Pointers to High-Level Containers."

Kamil Dudka et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics