Work

Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems

Year: 2024

Type: conference-paper

Source: IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1145/3691620.3695373

Author: Zihao Rao

Institution: Fudan University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4403536743

FWCI:

Cites: 15

Cited by:

Related to: 10