Eyal Yardeni

Publication Activity (10 Years)

Years Active: 1988-1994
Publications (10 Years): 0

Publications

Michael Codish, Dennis Dams, Eyal Yardeni
Bottom-up Abstract Interpretation of Logic Programs. Theor. Comput. Sci. 124 (1) (1994)
Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro
Polymorphically Typed Logic Programs. ICLP (1991)
Thom W. Frühwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni
Logic Programs as Types for Logic Programs LICS (1991)
Michael Codish, Dennis Dams, Eyal Yardeni
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. ICLP (1991)
Eyal Yardeni, Ehud Shapiro
A Type System for Logic Programs. J. Log. Program. 10 (2) (1991)
Eyal Yardeni, Shmuel Kliger, Ehud Shapiro
The languages FCP(: ) and FCP(: , ?). New Gener. Comput. 7 (2-3) (1990)
Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Shapiro
The Language FCP(: , ?). FGCS (1988)