Publications

Showing 1988
3.
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 , .
2.
S Safra, E Shapiro 1988. Meta interpreters for real Concurrent Prolog: collected papers. 1988 , :166-179.
1.
S Safra, E Shapiro 1988. Meta interpreters for real Concurrent Prolog: collected papers. 1988 , :166-179.