Un disseny o el llenguatge de programació en què seqüències de declaracions, anomenats blocs, es defineixen, habitualment amb delimitadors d'inici i final, i les variables o etiquetes definides d'un bloc no són reconeguts fora d'aquest bloc. Alguns exemples són l'Ada, ALGOL, PLII.