Publisher's Synopsis
These research papers explore how declarative-based concepts could be used to specify, design, analyze and implement complex distributed systems. Theoreticians, language and system designers and implementors, and computer architects attended the workshop on which this book is based. Their papers have been revised and extended, and grouped here into three broad areas, namely theory, parallel and distributed systems, and applications of abstract models. Some of the problems discussed are: - formulating rigorous semantics for declarative languages - developing methods for combining imperative and declarative language paradigms - optimizing distributed unification - designing architectures that perform well on both fine grain and coarse grain parallelism, adaptively.
