Amazonで購入楽天ブックスで購入

プログラミング言語の基礎概念

五十嵐淳

サイエンス社 / 2011年

技術: 計算理論・形式言語・コンパイラ・言語処理系

理論・基礎

プログラミング言語の意味と型を、形式的に定義して扱う入門書。操作的意味論による評価規則の書き方、型付け規則、型安全性の証明といった道具立てを、小さな言語を少しずつ拡張しながら導入する。言語処理系の理論側に進むための足場になる。

この本が好きなら

コンパイラの構成と最適化

中田育男 / 朝倉書店 / 2009年

技術: コンパイラ・言語処理系

理論・基礎

量子プログラミングの基礎

インミンシェン(訳: 川辺治之) / 共立出版 / 2017年 / 翻訳書

技術: 量子コンピュータ・計算理論・形式言語

理論・基礎

情報科学における論理

情報科学における論理

小野寛晰 / 日本評論社 / 1994年

技術: 計算理論・形式言語・数学

理論・基礎

情報理論の基礎

小沢一雅 / オーム社 / 2019年

技術: 数学・計算理論・形式言語

理論・基礎

計算論

計算論

高橋正子 / 近代科学社 / 1991年

技術: 計算理論・形式言語

理論・基礎

プログラミング言語の基礎理論

大堀淳 / 共立出版 / 2019年

技術: 計算理論・形式言語・コンパイラ・言語処理系

理論・基礎

この本からもっと探す →

書誌(サイエンス社、2011年、ISBN 9784781912851)は国立国会図書館サーチAPI(opensearch)の検索結果で確認。著者・訳者は同APIの責任表示「五十嵐淳 著」による。