( en | de | ru )

 

Disambiguation of "Qin, Shengchao"

Author of the publication

copydeleteadd this publication to your clipboard
Memory Usage Verification for OO Programs.

, , , and . SAS, volume 3672 of Lecture Notes in Computer Science, page 70-86. Springer, (2005)

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.

Qi Qin

Qin Li

Minghao Qin

Gang Qin

Qin Wang

 

Other publications of authors with the same name

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 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)Preface to Special Issue on Analysis and Verification of Intelligent Systems., , and . Int. J. Softw. Informatics, 12 (4): 351-353 (2022)Termination and non-termination specification inference., , and . PLDI, page 489-498. ACM, (2015)Automated Modular Verification for Relaxed Communication Protocols., , , and . APLAS, volume 11275 of Lecture Notes in Computer Science, page 284-305. Springer, (2018)How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?, , , , and . ASE, page 665-668. IEEE, (2019)Hardware/Software Partitioning in Verilog., , , and . ICFEM, volume 2495 of Lecture Notes in Computer Science, page 168-179. Springer, (2002)Multiple Pre/Post Specifications for Heap-Manipulating Methods., , , and . HASE, page 357-364. IEEE Computer Society, (2007)Variant Region Types., , and . ICECCS, page 126-135. IEEE Computer Society, (2018)Linking Object-Z with Spec#., and . ICECCS, page 185-196. IEEE Computer Society, (2007)