We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.

Durham Research Online
You are in:

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping

Number of items: 5.


Chin, W.-N. and David, C. and Nguyen, H. H. and Qin, S. (2008) 'Enhancing modular OO verification with separation logic.', ACM SIGPLAN notices., 43 (1). pp. 87-99.

Book chapter

Chin, W.-N. and Nguyen, H. H. and Popeea, C. and Qin, S. (2008) 'Analysing memory resource bounds for low-level programs.', in 2008 International Symposium on Memory Management, ISMM’08, 7-8 June 2008, Tucson, AZ ; proceedings. New York: Association for Computing Machinery, pp. 151-160.

Chin, W.-N. and David, C. and Nguyen, H. H. and Qin, S. (2007) 'Multiple pre/post specifications for heap-manipulating methods.', in IEEE International Symposium on High Assurance Systems Engineering : 14-16 November 2007, Dallas, Texas ; proceedings.. Los Alamitos, CA: IEEE, pp. 357-364.

Nguyen, H. H. and David, C. and Qin, S. and Chin, W.-N. (2007) 'Automated verification of shape and size properties via separation logic.', in Proceeding of the 8th international conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007). Berlin: Springer, pp. 251-266. Lecture notes in computer science. (4349).

Chin, W.-N. and Nguyen, H. H. and Qin, S. and Rinard, M. C. (2005) 'Memory usage verification for OO programs.', in Static analysis : 12th International Symposium, SAS 2005, 7-9 September 2005, London, UK ; proceedings. Berlin: Springer, pp. 70-86. Lecture notes in computer science. (3672).

List was generated at Thu May 5 05:49:59 2016 BST.