Publisher's Synopsis
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.
