Ran Rinat

According to our database, Ran Rinat authored at least 6 papers between 1988 and 2013.

Collaborative distances:

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

2013

Pluggable Analysis Viewpoints for Design Space Exploration.

Michael Masin, Lior Limonad, Aviad Sela, David Boaz, Lev Greenberg, Nir Mashkif, Ran Rinat

Proceedings of the Conference on Systems Engineering Research, 2013

2002

Type-Safe Covariant Specialization with Generalized Matching.

Ran Rinat

Inf. Comput., 2002

Modular Internet Programming with Cells.

Ran Rinat, Scott F. Smith

Proceedings of the ECOOP 2002, 2002

1999

Correspondence Polymorphism for Object-Oriented Languages.

Ran Rinat, Menachem Magidor, Scott F. Smith

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1996

Metaphoric Polymorphism: Taking Code Reuse One Step Further.

Ran Rinat, Menachem Magidor

Proceedings of the ECOOP'96, 1996

1988

Infinite Trees, Markings and Well-Foundedness

Ran Rinat, Nissim Francez, Orna Grumberg

Inf. Comput., November, 1988