Ke, Wei; Liu, Zhiming; Wang, Shuling; Zhao, Liang A graph-based generic type system for object-oriented programs. (English) Zbl 1425.68058 Front. Comput. Sci. 7, No. 1, 109-134 (2013). MSC: 68N19 × Cite Format Result Cite Review PDF Full Text: DOI
Zhao, Liang; Wang, Shuling; Liu, Zhiming Graph-based object-oriented Hoare logic. (English) Zbl 1390.68192 Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 374-393 (2013). MSC: 68N30 03B70 68N19 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao Automated verification of shape, size and bag properties via user-defined predicates in separation logic. (English) Zbl 1243.68148 Sci. Comput. Program. 77, No. 9, 1006-1036 (2012). MSC: 68N30 68Q60 68T15 03B70 × Cite Format Result Cite Review PDF Full Text: DOI Link
Tamalet, Alejandro; Madlener, Ken Reasoning about assignments in recursive data structures. (English) Zbl 1325.68157 Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 161-176 (2011). MSC: 68Q60 68P05 × Cite Format Result Cite Review PDF Full Text: DOI
Zhao, Liang; Liu, Xiaojian; Liu, Zhiming; Qiu, Zongyan Graph transformations for object-oriented refinement. (English) Zbl 1165.68025 Formal Asp. Comput. 21, No. 1-2, 103-131 (2009). MSC: 68N19 × Cite Format Result Cite Review PDF Full Text: DOI
Calcagno, Cristiano; O’Hearn, Peter; Bornat, Richard Program logic and equivalence in the presence of garbage collection. (English) Zbl 1038.68011 Theor. Comput. Sci. 298, No. 3, 557-581 (2003). MSC: 68N15 × Cite Format Result Cite Review PDF Full Text: DOI