検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

資料の状態

各蔵書資料に関する詳細情報です。

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0008537169	図書一般	007.64/ｵｵ08/	書庫	貸出可	○

この資料に対する操作

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル	プログラミング言語論
人名	大山口通夫／共著
人名ヨミ	オオヤマグチミチオ
出版者・発行者	コロナ社
出版年月	2008.3

書誌詳細

この資料の書誌詳細情報です。

書誌種別	図書
タイトル	プログラミング言語論
シリーズ名	コンピュータサイエンス教科書シリーズ
シリーズ番号	4
タイトルヨミ	プログラミングゲンゴロン
シリーズ名ヨミ	コンピュータサイエンスキョウカショシリーズ
シリーズ番号ヨミ	4
人名	大山口通夫／共著　五味弘／共著
人名ヨミ	オオヤマグチミチオ　ゴミヒロシ
出版者・発行者	コロナ社
出版者・発行者等ヨミ	コロナシャ
出版地・発行地	東京
出版・発行年月	2008.3
ページ数または枚数・巻数	8,226p
大きさ	21cm
価格	￥２９００
ISBN	978-4-339-02704-4
ISBN	4-339-02704-4
注記	文献:p221〜223
分類記号	007.64
件名	プログラミング(コンピュータ)
内容紹介	現在普及しているプログラミング言語であるCとJavaについて、命令(手続き)型言語とオブジェクト指向言語の操作的意味論を中心に解説。関数型言語および論理型言語、また構文論および他のプログラム意味論も取り上げる。
著者紹介	東北大学大学院博士課程修了(電気及び通信工学専攻)、工学博士。三重大学教授。
言語区分	jpn
タイトルコード	1009811052506
目次	1 序論
	2 プログラミング言語の特徴と分類
	2.1 プログラミングパラダイム／2.2 命令型言語と理論モデルRAM／2.3 関数型言語とλ算法／2.4 論理型言語と単一化／2.5 オブジェクト指向言語とその計算モデル
	3 プログラミング言語の構文
	3.1 プログラミング言語の構文規則／3.2 文脈自由文法／3.3 無曖昧な文脈自由文法／3.4 式の文法規則／3.5 構文図式
	4 命令型プログラミング言語
	4.1 構造化プログラミング／4.2 データ型／4.3 手続き
	5 オブジェクト指向プログラミング言語
	5.1 オブジェクト／5.2 抽象データ型／5.3 オブジェクト指向言語の本質／5.4 オブジェクト指向言語の特徴／5.5 オブジェクト指向の事例
	6 プログラミング言語の意味論
	6.1 はじめに／6.2 形式的意味記述法／6.3 RAMの機械語命令の意味／6.4 簡単なプログラムの形式的意味記述／6.5 表示的意味論と公理的意味論
	7 C言語
	7.1 SmallC言語／7.2 仮想計算機／7.3 SmallCプログラムの意味／7.4 C言語の型宣言と型検査
	8 Java言語
	8.1 Java処理系の構成とメモリ構成／8.2 クラスローダ／8.3 Javaの構文規則／8.4 非オブジェクト指向機能のバイトコードへの変換／8.5 オブジェクト指向機能のバイトコードへの変換／8.6 まとめ