PDSIA '99 was the fourth in a series of international workshops on parallel symbolic computing, a basic yet challenging area with wide applications in high-performance computing. As in the previous meetings, parallel symbolic languages and systems were the major topics. However, reflecting the latest advance, in distributed computing systems, the workshop also encompassed wider perspectives in parallel and distributed computing for symbolic and irregular applications.

This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, QLisp at Stanford, Lucid and Parcel at Illinois, PaiLisp at Tohoku University, Multiprocessor Lisp on TOP-1 at IBM Tokyo research, and concurrent programming in TAO. Most papers present languages and systems of Parallel Lisp and are in particular concerned with language constructs of Parallel Lisp and their meanings from the standpoint of implementing Parallel Lisp systems; some important technical issues such as...

TACS 91 is the first International Conference on Theoretical Aspects of Computer Software, held at Tohoku University, Japan. The 38 contributions to this volume offer a representation of active concerns in the theory of programming by an international group of researchers.

Parallel and distributed computing are becoming increasinglyimportant as cost-effective ways to achieve highcomputational performance. Symbolic computations are notablefor their use of irregular data structures and henceparallel symbolic computing has its own distinctive set oftechnical challenges.The papers in this book are based on presentations made at aworkshop at MIT in October 1992. They present results in awide range of areas including: speculative computation, scheduling techniques, program development tools andenvironments, programming languages and systems, models ofconcurrency and...

This book presents the refereed proceedings of the International Workshop on Parallel Symbolic Languages and Systems, PSLS '95, held in Beaune, France, in October 1995.
The 21 full papers included in the book were carefully selected for presentation at the meeting and thoroughly revised afterwards. Parallel symbolic computing has gained in importance for high-performance computing; in recent years, many applications have been implemented using C, C++, and their parallel extensions. This volume is organized in sections on evaluation strategies, programming tools, irregular data structures...

These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; process algebras; logical frameworks; and higher-order logics.

This volume contains the proceedings of a workshop on concurrency. The first section features papers on theoretical aspects, which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. The next section concentrates on object orientation and concurrent languages, and reflects major research activities taking place in Japan. The languages presented include extensions of C, PROLOG and LISP as well as object-based concurrent languages. The text then focuses on parallel architectures and VLSI logic, including articles on rewrite rule machines, graph...