計算機科学/ソフトウェア技術講座<br> プログラミング言語の新潮流

計算機科学/ソフトウェア技術講座
プログラミング言語の新潮流

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判/ページ数 262p/高さ 22X16cm
  • 商品コード 9784320023772
  • NDC分類 007.64

出版社内容情報

【解説】
形式的論理体系に基づく新しいプログラミング言語を,その基礎理論からプログラミング方法論にわたり,実際の言語をとりあげながら解説した。

【目次】
ラムダ計算・S‐表現に基づくプログラミング言語・LISP・Prolog他

目次

ラムダ計算
S‐表現に基づくプログラミング言語
Scheme―ラムダ計算と手続き型言語との接点
LISP
ラムダ計算に基づく関数型言語
FP‐関数レベルでのプログラミング言語
論理型言語の計算モでルとしての一階述語論理
Prolog
型付きプログラミング言語