著者:G.ウィンスケル, 末永 幸平, 勝股 審也, 中澤 巧爾, 西村 進, 前田 敦司
出版社: 丸善出版
ISBN: 9784621307632
発売日: 2023年01月30日
プログラミング言語の(形式的)意味論とは、プログラムの動作を数学によって厳密に定義し、その性質について議論するための枠組みのことである。プログラムを数学の俎上に載せることにより、プログラムやプログラミング言語を厳密に理解し、解析し、これらについて推論することができるようになる。この分野は近年実用化……
続きを見る