Safe object initialization, abstractly. - Fengyun Liu; Ondrej Lhoták; Enze Xing; Nguyen Cao Pham (SCALA@SPLASH, 2021)