2002 |
6 | EE | Ran Rinat,
Scott F. Smith:
Modular Internet Programming with Cells.
ECOOP 2002: 257-280 |
5 | EE | Ran Rinat:
Type-Safe Covariant Specialization with Generalized Matching.
Inf. Comput. 177(1): 90-120 (2002) |
1999 |
4 | EE | Ran Rinat,
Menachem Magidor,
Scott F. Smith:
Correspondence Polymorphism for Object-Oriented Languages.
OOPSLA 1999: 167-186 |
1996 |
3 | EE | Ran Rinat,
Menachem Magidor:
Metaphoric Polymorphism: Taking Code Reuse One Step Further.
ECOOP 1996: 449-471 |
1988 |
2 | | Ran Rinat,
Nissim Francez,
Orna Grumberg:
Infinite Trees, Markings and Well-Foundedness
Inf. Comput. 79(2): 131-154 (1988) |
1986 |
1 | | Ran Rinat,
Nissim Francez,
Orna Grumberg:
Infinite Trees, Markings and Well Foundedness.
CAAP 1986: 238-253 |