Browse by Person
|Up a level|
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.
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 ; New York: Springer , pp. 70-86. Lecture notes in computer science. (3672).
List was generated at Fri Mar 7 10:08:56 2014 GMT.