1994 |
7 | | Michael Codish,
Dennis Dams,
Eyal Yardeni:
Bottom-up Abstract Interpretation of Logic Programs.
Theor. Comput. Sci. 124(1): 93-125 (1994) |
1992 |
6 | | Eyal Yardeni,
Thom W. Frühwirth,
Ehud Y. Shapiro:
Polymorphically Typed Logic Programs.
Types in Logic Programming 1992: 63-90 |
1991 |
5 | | Eyal Yardeni,
Thom W. Frühwirth,
Ehud Y. Shapiro:
Polymorphically Typed Logic Programs.
ICLP 1991: 379-393 |
4 | | Michael Codish,
Dennis Dams,
Eyal Yardeni:
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.
ICLP 1991: 79-93 |
3 | | Thom W. Frühwirth,
Ehud Y. Shapiro,
Moshe Y. Vardi,
Eyal Yardeni:
Logic Programs as Types for Logic Programs
LICS 1991: 300-309 |
2 | | Eyal Yardeni,
Ehud Y. Shapiro:
A Type System for Logic Programs.
J. Log. Program. 10(1/2/3&4): 125-153 (1991) |
1988 |
1 | | Shmuel Kliger,
Eyal Yardeni,
Kenneth M. Kahn,
Ehud Y. Shapiro:
The Language FCP(: , ?).
FGCS 1988: 763-773 |