Publications

Showing 1988
4.
GALLAGHER, J; CODISH, M; SHAPIRO, E 1988. SPECIALIZATION OF PROLOG AND FCP PROGRAMS USING ABSTRACT INTERPRETATION New Generation Computing. 1988 , 6 :159-186.
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.