Publications

Showing 1991
9.
YARDENI E., FRUEHWIRTH T. & SHAPIRO E. 1991. Polymorphically Typed Logic Programs . 1991 , :379-393.
8.
MOSCOWITZ Y. & SHAPIRO E. 1991. Lexical logic programs . 1991 , :349-363.
7.
Kleinman A., Moscowitz Y., Pnueli A. & Shapiro E. 1991. Communication with directed logic variables . 1991 Jan , :221-232.
6.
Gaifman H., Maker M. J. & Shapiro E. 1991. Replay, recovery, replication, and snapshots of nondeterministic concurrent programs . 1991 , :241-255.
5.
FRUHWIRTH T., SHAPIRO E., VARDI M. & YARDENI E. 1991. Logic programs as types for logic programs‏ . 1991 , :300-309.
4.
3.
Shapiro E. 1991. Embeddings among concurrent programming - languages . 1991 , 505 :480-480.
2.
Yardeni E. & Shapiro E. 1991. A type system for logic programs The Journal of Logic Programming. 1991 Feb , 10 (2):125-153.
1.
T Fruhwirth, E Shapiro, MY Vardi, E Yardeni 1991. Logic programs as types for logic programs, Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science. 1991 , .