Functional programming and parallel graph rewriting
著者
書誌事項
Functional programming and parallel graph rewriting
(International computer science series)
Addison-Wesley, c1993
大学図書館所蔵 全10件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references (p. 553-561) and index
内容説明・目次
内容説明
This is an introduction to the techniques of functional programming, the associated computational models and the implementation of functional programming languages on both sequential and parallel machines. The book presents the features of functional programming languages, using Miranda as an example language. It focuses on an alternative computational model - Graph Rewriting Systems. The book demonstrates and discusses the potential power of concurrent functional programming and the implementation on loosely coupled parallel architectures. All the chapters include a summary and exercises.
目次
- Part 1 Functional programming: basic concepts - why functional programming?, functions in mathematics, a functional programme, the evaluation of a functional programme, functions with guarded equations and patterns, data structures, higher order functions and currying, correctness proof of functional programmes, programme examples
- advanced concepts - Miranda - defining functions, pre-defined data structures, the type system, user-defined data structures and their types, the use of functions as basic building blocks, interactive programmes, top-down functional programming. Part 2 Models of computation: Lambda calculus - Lambda expressions, reduction rules of Lambda expressions, reduction sequences and normal forms, properties of Lambda calculus, reduction strategies, properties of subclasses of the Lambda calculus, Lambda calculus as a basis for implementations
- term rewriting systems - TRS's, rewriting with a TRS, reduction sequences and normal forms, properties of TRS's, reduction strategies, orthogonal TRS's, priority rewrite systems, TRS's as a basis for functional languages, TRS's as a basis for implementations
- graph rewriting systems - extending TRS's to GRS's, GRS's, rewriting with a GRS, reduction sequences and normal forms, shorthand form, properties of GRS's, reduction strategies, term graph rewriting, generalized graph rewriting systems, GRS's as a basis for functional languages, GRS's as a basis for implementations. Part 3 Analysis of functional programmes: type assignment systems - type assignment for Lambda calculus, polymorphism and recursion, type assignment for term rewriting systems
- strictness analysis - strictness, abstract interpretation, basic domain theory, strictness analysis using abstract interpretation, analyzing function definitions, analyzing non-flat domains, abstract reduction, strictness analysis using abstract reduction. (Part contents).
「Nielsen BookData」 より