t_wの輪郭
RSS
契約プログラミング
静的解析
あれ
2024/3/20 15:14:00
関数に事前条件と事後条件を設定したら、コードの間違いを良い感じにエディタ上で警告出してくれるツールほしい。