Travelled to:1 × France
1 × The Netherlands
Collaborated with:T.W.Frühwirth E.Y.Shapiro M.Codish D.Dams M.Y.Vardi
Talks about:program (3) logic (3) type (2) polymorph (1) algorithm (1) abstract (1) analysi (1) safeti (1) ground (1) deriv (1)
Person: Eyal Yardeni
DBLP: Yardeni:Eyal
Contributed to:
1991
1991Wrote 3 papers:
- ICLP-1991-CodishDY #algorithm #alias #analysis #safety #unification
- Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis (MC, DD, EY), pp. 79–93.
- ICLP-1991-YardeniFS #logic programming #source code
- Polymorphically Typed Logic Programs (EY, TWF, EYS), pp. 379–393.
- LICS-1991-FruhwirthSVY #logic programming #source code
- Logic Programs as Types for Logic Programs (TWF, EYS, MYV, EY), pp. 300–309.