 | 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 |
