Languages for Parallel Architectures
Design, Semantics, Implementation Models
J. W. de Bakker(Author)
Wiley (Publisher)
Published on 27. September 1989
Book
Hardback
288 pages
978-0-471-92177-6 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Chichester
United Kingdom
Publishing group
John Wiley and Sons Ltd
Target group
College/higher education
Professional and scholarly
Illustrations
Ill.
Dimensions
Height: 71 mm
Width: 51 mm
Weight
640 gr
ISBN-13
978-0-471-92177-6 (9780471921776)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
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.