"... In PAGE 11: ... The results for the following benchmarks are initially reported: Matrix Multiplication, Quicksort, Takeuchi, Tower of Hanoi, Boyer (a reduced version of the Boyer-Moore theorem prover), Compiler (the Aquar- ius Prolog compiler from UC Berkeley that is approxi- mately 2,200 lines of Prolog code), Poccur (A list pro- cessing program), BT cluster (A clustering program from British Telecom, UK), Annotator (the annotator part of the amp;-Prolog parallelizing compiler that is about 1,000 lines) and, Simulator (a simulator for simulating parallel Prolog execution that is about 1,100 lines). Table1 indicates, for each benchmark, the execu- tion time (in ms.) and the speed-up obtained.... In PAGE 11: ... The speed-up gures are with respect to the optimized execution. Table1 illustrates the speedups obtained for the var- ious benchmarks. The gures clearly indicate that the current implementation, even though not completely op- timized, is quite e ective.... In PAGE 11: ... These optimizations yield, depending on the program, an improvement of 5% to 25% over the unoptimized version. Some improve- ment data is shown in Table1 (each entry in Table 1 shows the time in milliseconds before the optimization and after the optimization; the number in parenthesis gives the speed-up obtained; for compiler and simulator benchmarks the unoptimized gure is not shown). As is obvious, improvements due to optimization can be sub- stantial; in some cases superlinear speedup is obtained.... ..."

"... In PAGE 10: ... Logic for computer science. A skeletal overview of the present state of a airs for applications of logic to computer science is presented in Table2 , which is titled the \octopus of logic for computer science. quot; I have not attempted to make a de nitive summary of the applications of logic to computer science in Table 2, as they are far too numerous and varied for me to make such an attempt.... In PAGE 10: ... A skeletal overview of the present state of a airs for applications of logic to computer science is presented in Table 2, which is titled the \octopus of logic for computer science. quot; I have not attempted to make a de nitive summary of the applications of logic to computer science in Table2 , as they are far too numerous and varied for me to make such an attempt. The main point of the table is to illustrate how diverse and and extensive the applications of logic for computer science have become.... In PAGE 11: ...in computer science as well: in Table2 these include nite model theory, database theory, and model-checking. More generally, whenever one deals with the semantics of a language, one is implicitly doing model theory.... ..."

"... In PAGE 10: ... Logic for computer science. A skeletal overview of the present state of affairs for applications of logic to computer science is presented in Table2 , which is titled the octopus of logic for computer science. I have not attempted to make a definitive summary of the applications of logic to computer science in Table 2, as they are far too numerous and varied for me to make such an attempt.... In PAGE 10: ... A skeletal overview of the present state of affairs for applications of logic to computer science is presented in Table 2, which is titled the octopus of logic for computer science. I have not attempted to make a definitive summary of the applications of logic to computer science in Table2 , as they are far too numerous and varied for me to make such an attempt. The main point of the table is to illustrate how diverse and extensive the applications of logic for computer science have become.... In PAGE 11: ...in computer science as well: in Table2 these include finite model theory, database theory, and model-checking. More generally, whenever one deals with the semantics of a language, one is implicitly doing model theory.... ..."

"... In PAGE 10: ... Logic for computer science. A skeletal overview of the present state of a airs for applications of logic to computer science is presented in Table2 , which is titled the \octopus of logic for computer science. quot; I have not attempted to make a de nitive summary of the applications of logic to computer science in Table 2, as they are far too numerous and varied for me to make such an attempt.... In PAGE 10: ... A skeletal overview of the present state of a airs for applications of logic to computer science is presented in Table 2, which is titled the \octopus of logic for computer science. quot; I have not attempted to make a de nitive summary of the applications of logic to computer science in Table2 , as they are far too numerous and varied for me to make such an attempt. The main point of the table is to illustrate how diverse and extensive the applications of logic for computer science have become.... In PAGE 11: ...in computer science as well: in Table2 these include nite model theory, database theory, and model-checking. More generally, whenever one deals with the semantics of a language, one is implicitly doing model theory.... ..."