In the seminar, he presented a Floydian method for proving program correctness that clarified several ambiguous steps.
ゼミでは、彼はロバート・フロイドによって考案されたプログラムの正しさを証明する手法を発表し、いくつかの曖昧な手順を明確にした。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
