Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Chen, Y.: A language of flexible objects. Technical Report 29, Department of Computer Science, Leicester University (2004)
2. Chen, Y., Sanders, J.W.: Top-down design of BSP programs. Parallel Processing Letters 13(3), 389–400 (2003)
3. Chen, Y., Sanders, J.W.: Logic of global synchrony. ACM Transactions on Programming Languages and Systems 26(2), 221–262 (2004)
4. Cousot, P.: Types as abstract interpretations. In: Proceedings of POPL, pp. 316–331. ACM, New York (1997)
5. Lecture Notes in Computer Science;P. Cousot,2001
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献