ksuenaga/winskel-textbook-jp

This is stars and forks stats for /ksuenaga/winskel-textbook-jp repository. As of 02 May, 2024 this repository has 5 stars and 1 forks.

{% include head.html %} サポートサイトはこちら 本書について 『プログラミング言語の形式的意味論入門』は，Glynn Winskel による "The Formal Semantics of Programming Languages---An Introduction" の和訳です．原書はプログラムの意味を数学的に厳密に定義する手法を研究する分野であるプログラム意味論において世界的に使われている標準教科書です．刊行年は1993年と古いのですが，本書で解説されている内容はプログラム意味論の分野における入門的なトピックとして，現在も役立つ内容となっています． ご購入はこちら 丸善 | Amazon | 紀伊国屋書店 | honto | 楽天ブックス | ヨドバシ.com | Honya Club | Yahoo!ショッピング このサイトについて 『プログラミング言語の形式的意味論入門』のサポートサイトです．これまでに見つかった誤植や誤りについて，正誤表を配布しています． もし本書に誤植や誤りを見つけた際には，こちらから issue を立ててご報告いただけますとありがたいです．Webページの改善についても...