Xiaoran Zhu
- KRust: A Formal Executable Semantics of Rust
2018/04/28 by Feng Wang, Fu Song, Wang, Feng +7 · 3 voices · 1 citation
Computer Science · #Computer science #Distributed systems and fault tolerance #Executable #Formal semantics (linguistics) #Garbage #Garbage collection #Interpreter #Operational semantics #Parallel Computing and Optimization Techniques #Programming language #Rewriting #Rust (programming language) #Security and Verification in Computing #Semantics (computer science) #cs.PL
- Two new camaenid land snails (Eupulmonata) from Central China
2019/07/05 by Min Wu, Zhe-Yu Chen, Xiaoran Zhu · 1 citation
Agricultural and Biological Sciences · Environmental Science · #Mollusks and Parasites Studies #Invertebrate Taxonomy and Ecology #Aquatic Invertebrate Ecology and Behavior