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

書籍情報
シリーズ名計算機科学/ソフトウェア技術講座 【2】巻
ISBN978-4-320-02377-2
判型A5 
ページ数276ページ
発行年月1988年05月
本体価格3,000円
プログラミング言語の新潮流 書影
プログラミング言語の新潮流

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

目次

第1章 序論

第2章 ラムダ計算

第3章 S‐表現に基づくプログラミング言語

第4章 Scheme―ラムダ計算と手続型言語との接点

第5章 LISP

第6章 ラムダ計算に基づく関数型言語

第7章 FP―関数レベルでのプログラミング言語

第8章 論理型言語の計算モデルとしての一階述語論理

第9章 Prolog

第10章 型付きプログラミング言語