Et design eller programmeringssprog, hvor sekvenser af erklæringer, kaldet blokke, defineres normalt med start- og afgrænsere, og variabler eller etiketter, der er defineret i én blok genkendes ikke uden for denne blok. Eksempler Ada, ALGOL, PLII.