Eyal Yardeni

According to our database, Eyal Yardeni authored at least 8 papers between 1988 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1994

Bottom-up Abstract Interpretation of Logic Programs.

Michael Codish, Dennis Dams, Eyal Yardeni

Theor. Comput. Sci., 1994

1992

Polymorphically Typed Logic Programs.

Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro

Proceedings of the Types in Logic Programming., 1992

1991

A Type System for Logic Programs.

Eyal Yardeni, Ehud Shapiro

J. Log. Program., 1991

Logic Programs as Types for Logic Programs

Thom W. Frühwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Polymorphically Typed Logic Programs.

Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro

Proceedings of the Logic Programming, 1991

Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.

Michael Codish, Dennis Dams, Eyal Yardeni

Proceedings of the Logic Programming, 1991

1990

The languages FCP(: ) and FCP(: , ?).

Eyal Yardeni, Shmuel Kliger, Ehud Shapiro

New Gener. Comput., 1990

1988

The Language FCP(: , ?).

Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Shapiro

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988