Wei Ngan Chin
Wei Ngan Chin
Dirección de correo verificada de comp.nus.edu.sg - Página principal
Título
Citado por
Citado por
Año
Automated verification of shape and size properties via separation logic
HH Nguyen, C David, S Qin, WN Chin
International Workshop on Verification, Model Checking, and Abstract …, 2007
1962007
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
WN Chin, C David, HH Nguyen, S Qin
Science of Computer Programming 77 (9), 1006-1036, 2012
1562012
Calculating sized types
WN Chin, SC Khoo
Higher-Order and Symbolic Computation 14 (2-3), 261-300, 2001
1412001
Towards an automated tupling strategy
WN Chin
Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993
1321993
Safe fusion of functional expressions
WN Chin
Proceedings of the 1992 ACM Conference on LISP and Functional Programming, 11-20, 1992
1181992
Parallelization in calculational forms
Z Hu, M Takeichi, WN Chin
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
901998
Enhancing modular OO verification with separation logic
WN Chin, C David, HH Nguyen, S Qin
ACM SIGPLAN Notices 43 (1), 87-99, 2008
872008
Memory usage verification for OO programs
WN Chin, HH Nguyen, S Qin, M Rinard
International Static Analysis Symposium, 70-86, 2005
842005
Enhancing program verification with lemmas
HH Nguyen, WN Chin
International Conference on Computer Aided Verification, 355-369, 2008
802008
Automatic methods for program transformation
WN Chin
Imperial College London, 1990
781990
Safe fusion of functional expressions II: Further improvements
WN Chin
Journal of Functional programming 4 (4), 515-555, 1994
711994
Inferring disjunctive postconditions
C Popeea, WN Chin
Annual Asian Computing Science Conference, 331-345, 2006
692006
Analysing memory resource bounds for low-level programs
WN Chin, HH Nguyen, C Popeea, S Qin
Proceedings of the 7th international symposium on Memory management, 151-160, 2008
612008
A semantic foundation for TCOZ in unifying theories of programming
S Qin, JS Dong, WN Chin
International Symposium of Formal Methods Europe, 321-340, 2003
582003
Region inference for an object-oriented language
WN Chin, F Craciun, S Qin, M Rinard
ACM SIGPLAN Notices 39 (6), 243-254, 2004
562004
Verifying safety policies with size properties and alias controls
WN Chin, SC Khoo, S Qin, C Popeea, HH Nguyen
Proceedings of the 27th international conference on Software engineering …, 2005
452005
Shape analysis via second-order bi-abduction
QL Le, C Gherghina, S Qin, WN Chin
International Conference on Computer Aided Verification, 52-68, 2014
442014
Parallelization via context preservation
WN Chin, A Takano, Z Hu
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
411998
Runtime checking for separation logic
HH Nguyen, V Kuncak, WN Chin
International Workshop on Verification, Model Checking, and Abstract …, 2008
352008
Satisfiability modulo heap-based programs
QL Le, J Sun, WN Chin
International Conference on Computer Aided Verification, 382-404, 2016
342016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20