Rex D. Fernando

According to our database, Rex D. Fernando authored at least 4 papers between 2011 and 2016.

Collaborative distances:

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

2016

Modular Reasoning in the Presence of Event Subtyping.

Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan

LNCS Trans. Modul. Compos., 2016

Infinitely Many Carmichael Numbers for a Modified Miller-Rabin Prime Test.

Eric Bach, Rex D. Fernando

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2012

Event type polymorphism.

Rex D. Fernando, Robert Dyer, Hridesh Rajan

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

2011

Modularizing crosscutting concerns with ptolemy.

Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011