In traditional theory of procedural law, judgment is interpreted as the decision on substantive facts of the case, which neglects the significance of reasoning and argumentation before judgment.
Meta-programming languages'extra requirements including self expressing, self reasoning, and self controlling in meta-programming systems are analyzed in a view of procedural reflection.