Author:
Fang Bin,Sighireanu Mihaela,Pu Geguang,Su Wen,Abrial Jean-Raymond,Yang Mengfei,Qiao Lei
Publisher
Springer Science and Business Media LLC
Reference27 articles.
1. Donald E K. The Art of Computer Programming, Volume I: Fundamental Algorithms. 3rd ed. Upper Saddle River: Addison-Wesley, 1973
2. Paul R W, Mark S J, Michael N, et al. Dynamic storage allocation: a survey and critical review. In: Proceedings of International Workshop on Memory Management, Kinross, 1995. 986: 1–116
3. Brian W K, Dennis R. The C Programming Language. 2nd ed. Upper Saddle River: Prentice-Hall, 1988
4. Doug L. dlmalloc. 2012. ftp://gee.cs.oswego.edu/pub/misc/malloc.c
5. Cristiano C, Dino D, Peter W O, et al. Beyond reachability: shape abstraction in the presence of pointer arithmetic. In: Proceedings of Static Analysis Symposium, Seoul, 2006. 4134. 182–203
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献