Kahn.pa@XEROX.COM (01/01/88)
I'm forwarding this message for Udi Shapiro.
Date: Wed, 30 Dec 87 16:58:31 PST
From: udi%wisdom.bitnet@jade.berkeley.edu
From: Sarah Fliegelmann <MAFLIEG@WEIZMANN>
CONCURRENT PROLOG
COLLECTED PAPERS
(2 Vols.)
Edited by Ehud Shapiro
MIT Press Series in Logic Programming
ISBN 0-262-19266-7 (vol. 1) (pp. 560) $37.50
ISBN 0-262-19257-5 (vol. 2) (pp. 680) $37.50
ISBN 0-262-19255-1 (two volume set) $65.00
Table of Contents
Volume 1
The Authors ix
The Papers xv
Foreword xix
Preface xxi
Introduction xxv
Part I: Concurrent Logic Programming Languages 1
Introduction 2
1. A Relational Language for Parallel Programming 9
K. Clark and S. Gregory
2. A Subset of Concurrent Prolog and Its Interpreter 27
E. Shapiro
3. PARLOG: Parallel Programming in Logic 84
K. Clark and S. Gregory
4. Guarded Horn Clauses 140
K. Ueda
5. Concurrent Prolog: A Progress Report 157
E. Shapiro
6. Parallel Logic Programming Languages 188
A. Takeuchi and K. Furukawa
Part II: Programming Parallel Algorithms 203
Introduction 204
7. Systolic Programming: A Paradigm of Parallel Processing 207
E. Shapiro
8. Notes on the Complexity of Systolic Programs 243
S. Taylor, L. Hellerstein, S. Safra and E. Shapiro
9. Implementing Parallel Algorithms in Concurrent Prolog: The
Maxflow Experience 258
L. Hellerstein and E. Shapiro
10. A Concurrent Prolog Based Region Finding Algorithm 291
L. Hellerstein
11. Distributed Programming in Concurrent Prolog 318
A. Shafrir and E. Shapiro
12. Image Processing with Concurrent Prolog 339
S. Edelman and E. Shapiro
13. A Test for the Adequacy of a Language for an Architecture 370
E. Shapiro
Part III: Streams and Channels 389
Introduction 390
14. Fair, Biased, and Self-Balancing Merge Operators: Their
Specification and Implementation in Concurrent Prolog 392
E. Shapiro and C. Mierowsky
15. Multiway Merge with Constant Delay in Concurrent Prolog 414
E. Shapiro and S. Safra
16. Merging Many Streams Efficiently: The Importance of Atomic
Commitment 421
V.A. Saraswat
17. Channels: A Generalization of Streams 446
E.D. Tribble, M.S. Miller, K. Kahn, D.G. Bobrow, C. Abbott and
E. Shapiro
18. Bounded Buffer Communication in Concurrent Prolog 464
A. Takeuchi and K. Furukawa
References 477
Index 507
Volume 2
The Authors ix
The Papers xiii
Preface to Volume 2 xvii
Part IV: Systems Programming 1
Introduction 2
19. Systems Programming in Concurrent Prolog 6
E. Shapiro
20. Computation Control and Protection in the Logix System 28
M. Hirsch, W. Silverman and E. Shapiro
21. The Logix System User Manual, Version 1.21 46
W. Silverman, M. Hirsch, A. Houri and E. Shapiro
22. A Layered Method for Process and Code Mapping 78
S. Taylor, E. Av-Ron and E. Shapiro
23. An Architecture of a Distributed Window System and its FCP
Implementation 101
D. Katzenellenbogen, S. Cohen and E. Shapiro
24. Logical Secrets 140
M.S. Miller, D.G. Bobrow, E.D. Tribble and J. Levy
Part V: Program Analysis and Transformation 163
Introduction 164
25. Meta Interpreters for Real 166
S. Safra and E. Shapiro
26. Algorithmic Debugging of GHC Programs and Its Implementation
in GHC 180
A. Takeuchi
27. Representation and Enumeration of Flat Concurrent Prolog
Computations 197
Y. Lichtenstein, M. Codish and E. Shapiro
28. A Type System for Logic Programs 211
E. Yardeni and E. Shapiro
Part VI: Embedded Languages 245
Introduction 246
29. Object Oriented Programming in Concurrent Prolog 251
E. Shapiro and A. Takeuchi
30. Vulcan: Logical Concurrent Objects 274
K. Kahn, E.D. Tribble, M.S. Miller and D.G. Bobrow
31. PRESSing for Parallelism: A Prolog Program Made Concurrent 304
L. Sterling and M. Codish
32. Compiling Or-Parallelism into And-Parallelism 351
M. Codish and E. Shapiro
33. Translation of Safe GHC and Safe Concurrent Prolog to FCP 383
J. Levy and E. Shapiro
34. Or-Parallel Prolog in Flat Concurrent Prolog 415
E. Shapiro
35. CFL --- A Concurrent Functional Language Embedded in a Concurrent
Logic Programming Environment 442
J. Levy and E. Shapiro
36. Hardware Description and Simulation Using Concurrent Prolog 470
D. Weinbaum and E. Shapiro
Part VII: Implementations 491
Introduction 492
37. A Sequential Implementation of Concurrent Prolog Based on the
Shallow Binding Scheme 496
T. Miyazaki, A. Takeuchi and T. Chikayama
38. A Sequential Abstract Machine for Flat Concurrent Prolog 513
A. Houri and E. Shapiro
39. A Parallel Implementation of Flat Concurrent Prolog 575
S. Taylor, S. Safra and E. Shapiro
References 605
Index 635