A Turingban kétféle alprogram létezik, az eljárás és a függvény. Az alprogram törzse tartalmazhat egy elő(pre)- és egy utó(post)-feltételt. Ezek logikai állítások, a pre állítás a rutin végrehajtása előtt érvényes, a post pedig utána. Az alprogram továbbá tartalmazhat kivételkezelő részt is.
A Turing modulszerkezete a Modula 2 moduljaihoz hasonlít, de lényeges eltérések is tapasztalhatók. A modulok nem átlátszóak,
csak az export listában (a moduloknak import listájuk is lehet) megadott egységek láthatóak a modulon kívül. A specifikáció
és az implementáció nem választható szét. A modulok egymásba ágyazhatók.
A Turing Plus moduljairól már leválasztható a spcifikáció - itt a fejlécet csonknak (stub) hívják. Az alprogramok és modulok
külön lefordíthatóak, az egyes részek közötti kapcsolatokat a parent és child dirktívák írják le. A "szülő" egy grant listában
megadhatja, hogy a gyerekmoduljai számára mely változói legyenek láthatóak, ebben a var módosító használatával pedig engedélyezheti
az adott változó módosítását. Lehetőség van úgynevezett árva (orphan) gyermek létrehozására is, ezek az igazi típusmegvalósító modulok.