Eljárás definíciója osztályon kívül is lehet, névtérben. Ezzel kiválthatók a statikus osztályok. A törzsben megadható az előfeltétel (requires), utófeltétel (ensures) és a dobott kivételek (raises) megadhatók. Részletesebben lásd a kontraktusoknál.
Az alábbi kódrészlet illusztrálja a név nélküli alprogramokat (klósurák):
Lehetőség van C-szerű, nem biztonságos változó számú paraméterű alprogramok definiálására.
A definícióban a paraméterek típusánál feltüntethetőek a következő, aktuálisoktól elvárt tulajdonságok:Híváshelyen az out/ref/?/# tulajdonságok szintén feltüntethetőek, melyeket fordításidőben ellenőriz a rendszer.
Genie-ben nincs se metódus, se konstruktor túlterhelés a C-vel való függvénykönyvtár szintű kompatibilitás miatt. Ehelyett konvenció, hogy különböző, a konstruktor vagy metódus működésére utaló egyértelműsítő névtoldalékot írunk aláhúzás után a névhez.
Szemantikája megegyezik a C-vel (farok-hívás optimalizáció és más tekintetben is).