Affiliation:
1. Sun Yat-sen University, Guangzhou, China
2. Sun Yat-sen University, Guangzhou, China and University in Shenzhen, Shenzhen, China
Funder
National Natural Science Foundation of China
Shenzhen Technology R&D Program for Basic Research
National Key Technology R&D Program
Fundamental Research Funds for the Central Universities
Guangdong Natural Science Foundation
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Determinizing monitors for HML with recursion;Journal of Logical and Algebraic Methods in Programming;2020-02
2. Runtime Performance Challenges in Big Data Systems;Proceedings of the 2015 Workshop on Challenges in Performance Methods for Software Development - WOSP '15;2015