Does there exist the concept of set-once variables?

I am wondering if anyone has developed the concept of a set-once variable. That is, a variable that perhaps has some default value, but can be set only once during program execution. Note this differs from any kind of constant, as constants are set before program execution.