( en | de | ru )

 

Disambiguation of "Chin, Wei-Ngan"

Author of the publication

copydeleteadd this publication to your clipboard
Enhancing modular OO verification with separation logic.

, , , and . POPL, page 87-99. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xiao Wei Dawn Chin

Nicolas Ngan

Michel Nganbe

Alain Patrice Nganang

Korakot Nganvongpanit

 

Other publications of authors with the same name

A Resource-Based Logic for Termination and Non-termination Proofs., , , and . ICFEM, volume 8829 of Lecture Notes in Computer Science, page 267-283. Springer, (2014)Automated Modular Verification for Relaxed Communication Protocols., , , and . APLAS, volume 11275 of Lecture Notes in Computer Science, page 284-305. Springer, (2018)A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification., , , , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 293-309. Springer, (2011)A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic., , , and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 495-517. Springer, (2017)A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm., , and . ICFEM, volume 5256 of Lecture Notes in Computer Science, page 126-146. Springer, (2008)An Expressive Framework for Verifying Deadlock Freedom., , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 287-302. Springer, (2013)Calculating a New Data Mining Algorithm for Market Basket Analysis., , and . PADL, volume 1753 of Lecture Notes in Computer Science, page 169-184. Springer, (2000)Variable Timestamp-Based Distributed Deadlock Detection and Resolution., and . ASIAN, volume 1179 of Lecture Notes in Computer Science, page 96-105. Springer, (1996)Variant Region Types., , and . ICECCS, page 126-135. IEEE Computer Society, (2018)Termination and non-termination specification inference., , and . PLDI, page 489-498. ACM, (2015)