Languages for parallel architectures : design, semantics, implementation models
著者
書誌事項
Languages for parallel architectures : design, semantics, implementation models
(Wiley series in parallel computing)
Wiley, c1989
大学図書館所蔵 件 / 全30件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies
内容説明・目次
内容説明
This volume contains a selection of the results of ESPRIT's Project 415 on languages for parallel architectures. The text investigates a variety of programming styles including functional, logic and object-oriented paradigms. Highlights of the book include a detailed discussion of design and semantic foundations of Philips' parallel object-oriented language POOL, the derivation of an implementation model for lazy functional languages using abstract interpretation and a presentation of the principles of FP2, a functional parallel programming language. The author also discusses the development of a Petri-net semantics for AADL, an axiomatic architecture description language.
目次
- A parallel object-oriented language - design and semantic foundations, P.America and J.Rutten
- AADL - a net-based specification method for computer architecture design, W.Damm and G.Dohmen
- deriving a parallel evaluation model for lazy functional languages using abstract interpretation, G.Burn
- using resolution for a sound and efficient integration of logic and functional programming, P.Bosco et al
- principles of FP2 - term algebras for specification of parallel machines, P.Shnoebelen and P.Jorrand.
「Nielsen BookData」 より