Author:
Zee Karen,Kuncak Viktor,Taylor Michael,Rinard Martin
Publisher
Springer Berlin Heidelberg
Reference43 articles.
1. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhotak, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: Proc. 20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 345–364 (2005)
2. Arkoudas, K., Rinard, M.: Deductive runtime certification. In: RV 2004. Proceedings of the 2004 Workshop on Runtime Verification, Barcelona, Spain (April 2004)
3. Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: An overview. In: CASSIS: Int. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (2004)
4. Lecture Notes in Computer Science;C. Barrett,2004
5. Bartetzko, D., Fischer, C., Möller, M., Wehrheim, H.: Jass–Java with assertions. In: RV 2001. ENTCS, vol. 55, pp. 103–117 (2001)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献