Author:
Zhang Jieyuan,Sui Yulei,Xue Jingling
Publisher
Springer International Publishing
Reference38 articles.
1. Arzt, S., Bodden, E.: Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes. In: Proceedings of the 36th International Conference on Software Engineering, pp. 288–298 (2014)
2. Lecture Notes in Computer Science;J Borgström,2011
3. Caticha, A., Giffin, A., Mohammad-Djafari, A.: Updating probabilities. In: 18th International Conference on Artificial Intelligence and Pattern Recognition, pp. 31–42 (2006)
4. Chaganty, A.T., Nori, A.V., Rajamani, S.K.: Efficiently sampling probabilistic programs via program analysis. In: 16th Artificial Intelligence and Statistics, pp. 153–160 (2013)
5. Lecture Notes in Computer Science;A Chakarov,2014
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fast Analysis of Evolving Software Systems;2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2022-10
2. Incremental precision-preserving symbolic inference for probabilistic programs;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
3. Incremental inference for probabilistic programs;Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation;2018-06-11