Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming.

Mohan Cui Shuran Sun Hui Xu Yangfan Zhou

Published in: ICSE (2024)

Keyphrases

programming language
general purpose
functional requirements
databases
database systems
multi agent
software engineering
real time systems