Publications

Showing 1989
13.
Shapiro E. 1989. The family of concurrent logic programming languages\u200f Computing Surveys. 1989 Sept , 21 (3):413-510.
12.
RECHES E., GUDES E. & Shapiro E. 1989. A distributed locking algorithm for a transactions system in flat concurrent prolog\u200f . 1989 May , 367 :304-320.
11.
CODISH M., GALLAGHER J. & SHAPIRO E. 1989. Using safe approximations of fixed points for analysis of logic programs . 1989 , :233-261.
10.
GAIFMAN H., MAHER M. & SHAPIRO E. 1989. Reactive Behavior Semantics for Concurrent Constraint Logic\u200f Programs - (Preliminary Version) . 1989 , :553-569.
9.
Gerth R., Codish M. & Shapiro E. 1989. Control algebras for constraint logics and testing equivalence . 1989 , CS89-16 .
8.
GAIFMAN H. & SHAPIRO E. 1989. Fully abstract compositional semantics for logic programs\u200f . 1989 , :134-142.
7.
Taylor S., Shapiro R. & Shapiro E. 1989. FCP: A summary of performance results . 1989 , :1364-1373.
6.
GAIFMAN H. & SHAPIRO E. 1989. Proof theory and semantics of logic programs\u200f . 1989 , :50-62.
5.
Shapiro E. 1989. OR-parallel PROLOG in flat concurrent PROLOG The Journal of Logic Programming. 1989 May , 6 (3):243-267.
4.
Houri A. & Shapiro E. 1989. A sequential abstract machine for Flat Concurrent Prolog\u200f The Journal of Logic Programming. 1989 Sept , 7 (2):85-123.
3.
LICHTENSTEIN Y. & Shapiro E. 1989. Concurrent algorithmic debugging . 1989 Jan , 24 :248-260.
2.
A Houri, E Shapiro 1989. A sequential abstract machine for Flat Concurrent Prolog The Journal of Logic Programming . 1989 , 7 (2) :85-123.
1.
H Gaifman, E Shapiro 1989. Fully abstract compositional semantics for logic programs Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages. 1989 , .