共 50 条
- [42] Formalization of Memory Transfer Language with C, C plus plus and Java']Java on the Mold of Register Transfer Language 2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA), 2014,
- [43] EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C plus PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 181 - 195
- [44] Leveraging C plus plus Meta-programming Capabilities to Simplify the Message Passing Programming Model RECENT ADVANCES IN THE MESSAGE PASSING INTERFACE, 2011, 6960 : 302 - 311
- [47] Learning-based Memory Allocation for C plus plus Server Workloads TWENTY-FIFTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS XXV), 2020, : 541 - 556
- [48] Pattern-based Synthesis of Synchronization for the C plus plus Memory Model PROCEEDINGS OF THE 15TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2015), 2015, : 120 - 127
- [49] C-2PO: AWeakly Relational Pointer Domain "These Are Not the Memory Cells You Are Looking For" PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON NUMERICAL AND SYMBOLIC ABSTRACT DOMAINS, NSAD 2024, 2024, : 2 - 9
- [50] A CHERI C Memory Model for Verified Temporal Safety PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, 2025, : 112 - 126