J. Huang, and A. Rajagopalan. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, page 462--476. ACM, (2016)
D. Deng, W. Zhang, and S. Lu. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, page 785--802. ACM, (2013)
V. Raychev, M. Vechev, and M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, page 151--166. ACM, (2013)
J. Moskal, and C. Matheus. Rule Representation, Interchange and Reasoning on the Web, volume 5321 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
S. Lu, J. Tucek, F. Qin, and Y. Zhou. Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, page 37--48. ACM, (2006)
C. Hsiao, S. Narayanasamy, E. Khan, C. Pereira, and G. Pokam. Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, page 193--205. ACM, (2017)