休業期間 書泉と、10冊

プログラミング言語の形式的意味論入門

タイトル
プログラミング言語の形式的意味論入門
ISBN/JAN
9784621307632
著者
G.ウィンスケル/著 末永幸平/監訳 勝股審也/中澤巧爾/西村進/前田敦司/訳
出版社
丸善出版
発売日
2023/01/27
商品説明
プログラミング言語の(形式的)意味論とは、プログラムの動作を数学によって厳密に定義し、その性質について議論するための枠組みのことである。プログラムを数学の俎上に載せることにより、プログラムやプログラミング言語を厳密に理解し、解析し、これらについて推論することができるようになる。この分野は近年実用化に向けて進んでいる形式手法の礎となり、またそれ自体、様々な数学概念が飛び交う興味深い一分野を形成してきた。本書は、Winskelによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。
型番 9784621307632-011
販売価格 4,950円(税450円)
購入数

  

ピックアップ

Calendar

2025年4月
1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30
2025年5月
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
Top