Publications

Showing 1988
18.
Shapiro E. 1988. The Panel on Theory and Practice of Concurrent Systems . 1988 , :152-153.
17.
Shapiro E. 1988. Embedding linda and other joys of concurrent logic programming Communications of The ACM - CACM. 1988 Jan , .
16.
Lichtenstein Y. & Shapiro E. 1988. Abstract Algorithmic Debugging . 1988 , .
15.
Gerth R., Codish M., Lichtenstein Y. & Shapiro E. 1988. Fully abstract denotational semantics for Flat Concurrent Prolog. . 1988 Dec , :320-335.
14.
Levy J. & Shapiro E. 1988. Translation of safe GHC and safe Concurrent Prolog to FCP . 1988 , :383-414.
13.
Lichtenstein Y., Codish M. & Shapiro E. 1988. Representation and enumeration of flat Concurrent Prolog computations . 1988 , :197-210.
12.
Weinbaum D. & Shapiro E. 1988. Hardware description and simulation using Concurrent Prolog . 1988 , :470-490.
11.
Silverman W., Hirsch M., Houri A. & Shapiro E. 1988. The Logix system user manual version 1.21 . 1988 , :46-77.
10.
Shapiro E. 1988. Systolic programming: a paradigm of parallel processing . 1988 , :207-242.
9.
Hirsch M., Silverman W. & Shapiro E. 1988. Computation control and protection in the Logix system . 1988 , :28-45.
8.
Edelman S. & Shapiro E. 1988. Image processing with Concurrent Prolog . 1988 , :339-369.
7.
Shapiro E. 1988. A test for the adequacy of a language for an architecture . 1988 , :370-388.
6.
Katzenellenbogen D., Cohen S. & Shapiro E. 1988. An architecture of a distributed window system and its FCP implementation . 1988 , :101-139.
5.
Levy J. & Shapiro E. 1988. CFL—A concurrent functional language embedded in a concurrent logic programming environment . 1988 , :442-469.
4.
Saraswat V., Weinbaum D., Kahn K. & Shapiro E. 1988. Detecting stable properties of networks in concurrent logic programming languages . 1988 Jan , :210-222.
3.
GALLAGHER J., CODISH M. & Shapiro E. 1988. Specialisation of Prolog and FCP programs using abstract interpretation New Generation Computing. 1988 Sept , 6 :159-186.
2.
R Gerth, M Codish, Y Lichtenstein, E Shapiro 1988. Fully abstract denotational semantics for Flat Concurrent Prolog LICS'88., Proceedings of the Third Annual Symposium on Logic in Computer Science. 1988 , .
1.
S Safra, E Shapiro 1988. Meta interpreters for real Concurrent Prolog: collected papers. 1988 , :166-179.