In programming language theory, the qualification principle states that any semantically meaningful syntactic class may admit local definitions.
In other words, it's possible to include a block in any syntactic class, provided that the phrases of that class specify some kind of computation.
(Watt 1990) A common examples for of this principle includes:
This programming-language-related article is a stub.
You can help Wikipedia by expanding it.This computer science article is a stub.