dblp.uni-trier.dewww.uni-trier.de

Eyal Yardeni

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Michael Codish [4] [7]
2Dennis Dams [4] [7]
3Thom W. Frühwirth [3] [5] [6]
4Kenneth M. Kahn [1]
5Shmuel Kliger [1]
6Ehud Y. Shapiro [1] [2] [3] [5] [6]
7Moshe Y. Vardi [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)