Die Kontrollflüsse bilden sich nicht mehr für den Entwickler transparent direkt in den Codestrukturen ab (wie z. B. bei prozeduralen Sprachen ), eine Umsetzung in dieser Hinsicht wird dem Compiler überlassen.