Cited By
View all- Gordon CYun C(2023)Error Localization for Sequential Effect SystemsStatic Analysis10.1007/978-3-031-44245-2_16(343-370)Online publication date: 24-Oct-2023
- Zhu HLiu Y(2013)Heap decomposition inference with linear programmingProceedings of the 27th European conference on Object-Oriented Programming10.1007/978-3-642-39038-8_5(104-128)Online publication date: 1-Jul-2013
- Pratikakis PFoster JHicks M(2011)LOCKSMITHACM Transactions on Programming Languages and Systems10.1145/1889997.189000033:1(1-55)Online publication date: 25-Jan-2011
- Show More Cited By