Çöp toplayıcısı olmayan bir dilde bellek güvenliğini sahiplik modeliyle sağlamayı, derleyicinin güvenceyi nereden aldığını ve bu güvencenin programın yazımına ne getirdiğini kuran müfredat.
Donanıma en yakın duran iki dili, bir kaynağın programa dönüşürken geçtiği aşamalar, belleğin elle yönetilmesi ve soyutlamanın bedelinin görünür olması üzerinden kuran müfredat.