Zvýšení spolehlivosti softwaru: Hluboký ponor do typově bezpečné správy zdrojů pomocí typů systémových alokací | MLOG | MLOG