Un diseño o lenguaje de programación en que secuencias de comandos, llamados bloques, se definen, generalmente con delimitadores begin y end, y variables o etiquetas definidas en un solo bloque no son reconocidas fuera de ese bloque. Ejemplos de Ada, ALGOL, PLII.