共 50 条
- [41] Runtime race detection for mum-threaded C plus plus server applications PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 111 - +
- [44] Object Model Construction for Inheritance in C plus plus and Its Applications to Program Analysis COMPILER CONSTRUCTION, CC 2012, 2012, 7210 : 144 - 164
- [45] Time Measurement and Control Blocks for Bare-Metal C plus plus Applications PROCEEDINGS OF THE 2019 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2019,
- [46] A Mechanized Semantics for C plus plus Object Construction and Destruction, with Applications to Resource Management POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 521 - 532
- [49] UPC plus plus : A PGAS Extension for C plus 2014 IEEE 28TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM, 2014,