Deduction and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)

  • ポイントキャンペーン

Deduction and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版/ページ数 250 p.
  • 言語 ENG
  • 商品コード 9780521417235
  • DDC分類 005.131

Table of Contents

Introduction
1. Preliminaries
2. Guards, generators and constructors
3. Models and correctness
4. Computing goal solutions
5. Inductive expansion
6. Directed expansion and reduction
7. Implications of ground confluence
8. Examples
9. EXPANDER: inductive expansion in SML
References
Index.