プログラミング言語

プログラミング言語の研究というのを4月になってから初めて知った。
IMP記法やら、帰納法(数学的帰納法、構造的帰納法、整礎的帰納法)等、出てきて、非常に新鮮である。
文献:Glynn Winskel, The Formal Semantics of Programming Languages An Introduction, The MIT Press, 1993.

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください

トラックバック URL

https://wp.norifumik.nagoya/2013/04/27/%e3%83%97%e3%83%ad%e3%82%b0%e3%83%a9%e3%83%9f%e3%83%b3%e3%82%b0%e8%a8%80%e8%aa%9e/trackback/

PAGE TOP