プログラミング言語の新潮流

著者

• 井田, 哲雄 イダ, テツオ

書誌事項

プログラミング言語の新潮流

井田哲雄著

（計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編, 2）

共立出版, 1988.5

タイトル読み

プログラミング ゲンゴ ノ シンチョウリュウ

電子リソースにアクセスする 全1件

• 計算機科学/ソフトウェア技術講座 (2)

  1988

  NDLデジタルコレクション

  限定公開

注記

参考文献: 各章末

内容説明・目次

目次

• ラムダ計算
• Ｓ‐表現に基づくプログラミング言語
• Ｓｃｈｅｍｅ—ラムダ計算と手続き型言語との接点
• ＬＩＳＰ
• ラムダ計算に基づく関数型言語
• ＦＰ‐関数レベルでのプログラミング言語
• 論理型言語の計算モでルとしての一階述語論理
• Ｐｒｏｌｏｇ
• 型付きプログラミング言語

「BOOKデータベース」 より

• NII書誌ID(NCID): BN02189082
• ISBN:
  • 4320023773
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: x, 262p
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.6
  • NDC8 : 007.64
  • NDC7 : 418.6
• 件名:
  • BSH : 電子計算機
  • NDLSH : プログラミング用言語
• 親書誌ID:
  • BN01481704