Searching for authors named "Shengchao Qin" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
A relational model for object-oriented designs
- … ¤ and Shengchao Qin ¥ International Institute for Software Technology, The United Nations University § @iist…
- Cited by 12 (6 self) – Add To MetaCart
-
A Semantic Foundation for TCOZ in Unifying Theories of Programming Shengchao Qin
- …A Semantic Foundation for TCOZ in Unifying Theories of Programming Shengchao Qin 1 , Jin Song Dong…
- Cited by 9 (2 self) – Add To MetaCart
-
Memory Usage Verification for OO Programs
- …Memory Usage Verification for OO Programs ⋆ Wei-Ngan Chin 1,2 , Huu Hai Nguyen 1 , Shengchao Qin 3…
- Cited by 10 (0 self) – Add To MetaCart
-
Automated verification of shape and size properties via separation logic
- …, Cristina David2, Shengchao Qin3, and Wei-Ngan Chin1,2 1 Computer Science Programme, Singapore-MIT Alliance…
- Cited by 9 (4 self) – Add To MetaCart
-
Enhancing modular OO verification with separation logic
- … David ¢¡ £ Huu Hai Nguyen Shengchao Qin ¤ ¥ Department of Computer Science, National University…
- Cited by 5 (0 self) – Add To MetaCart
-
Generating MSCs from an Integrated Formal
- …Generating MSCs from an Integrated Formal Specification Language Jin Song Dong 1 , Shengchao Qin 2…
- Add To MetaCart
-
Verifying safety policies with size properties and alias controls
- …-Cheng Khoo 1 , Shengchao Qin 3∗ , Corneliu Popeea 1 , and Huu Hai Nguyen 2 1 Department of Computer Science…
- Cited by 16 (6 self) – Add To MetaCart
-
Knowledge, State, Event and Time in System Modeling - Spectrums of Modeling Languages and Transformations
- … Yuzhang Feng, Ping Hao, Yuanfang Li, Brendan Mahony, Shengchao Qin, Jing Sun, Hai Wang and other…
- Add To MetaCart
Showing 1 through 8.
