Publications

Showing 1991
4.
SHAPIRO, E 1991. EMBEDDINGS AMONG CONCURRENT PROGRAMMING-LANGUAGES Parle 91 : Parallel Architectures And Languages Europe, Vol 2: Parallel Languages. 1991 , 506 :58.
3.
SHAPIRO, E 1991. EMBEDDINGS AMONG CONCURRENT PROGRAMMING-LANGUAGES Lecture Notes In Computer Science. 1991 , 506 :58.
2.
YARDENI, E; SHAPIRO, E 1991. A TYPE SYSTEM FOR LOGIC PROGRAMS Journal Of Logic Programming. 1991 , 10 :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 , .