Desain atau bahasa pemrograman di mana urutan pernyataan, yang disebut blok, didefinisikan, biasanya dengan pembatas begin dan end, dan variabel atau label didefinisikan dalam satu blok tidak diakui luar blok. Contoh termasuk Ada, ALGOL, PLII.