Conference
CREQ (C-to-Rust EQuivalence): Cross-Language Semantic Verification via LLVM IR and Symbolic Execution
| Τίτλος: | CREQ (C-to-Rust EQuivalence): Cross-Language Semantic Verification via LLVM IR and Symbolic Execution |
|---|---|
| Συγγραφείς: | Fathima, A A, Raseek, C |
| Πηγή: | 2026 Student Multidisciplinary Innovation and Research Conference (SMIRC) Student Multidisciplinary Innovation and Research Conference (SMIRC), 2026. :1-5 Jun, 2026 |
| Relation: | 2026 Student Multidisciplinary Innovation and Research Conference (SMIRC) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!