Author:
Havlena Vojtěch,Holík Lukáš,Lengál Ondřej,Vojnar Tomáš
Publisher
Springer International Publishing
Reference43 articles.
1. Møller, A., Schwartzbach, M.: The pointer assertion logic engine. In: PLDI 2001. ACM Press (2001). Also in SIGPLAN Notices 36(5) (2001)
2. Lecture Notes in Computer Science;J Glenn,1997
3. Lecture Notes in Computer Science;J Elgaard,1998
4. Klarlund, N., Møller, A.: MONA Version 1.4 User Manual. BRICS, Department of Computer Science, Aarhus University, January 2001. Notes Series NS-01-1. http://www.brics.dk/mona/ . Revision of BRICS NS-98-3
5. Madhusudan, P., Parlato, G., Qiu, X.: Decidable logics combining heap structures and data. In: POPL 2011, pp. 611–622. ACM (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献