A graph-based generic type system for object-oriented programs. (English) Zbl 1425.68058
MSC:
68N19
Found 6 Documents (Results 1–6)
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).
Automated verification of shape, size and bag properties via user-defined predicates in separation logic. (English) Zbl 1243.68148
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).
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (2)
all
top 5
Author
- Liu, Zhiming (3)
- Zhao, Liang (3)
- Wang, Shuling (2)
- Bornat, Richard (1)
- Calcagno, Cristiano (1)
- Chin, Wei-Ngan (1)
- David, Cristina (1)
- Ke, Wei (1)
- Liu, Xiaojian (1)
- Madlener, Ken (1)
- Nguyen, Huu Hai (1)
- O’Hearn, Peter W. (1)
- Qin, Shengchao (1)
- Qiu, Zongyan (1)
- Tamalet, Alejandro (1)
