📝不変式プログラミング

up: 📁プログラミングパラダイム

不定式プログラミング

invariant programming. 再帰的に呼ばれる度に, 数学的に真になる式.

• 不変条件 - Wikipedia

References

• Invariant-based programming - Wikipedia