Foundations for a Rust-Like Borrow Checker for C.

Tiago Silva João Bispo Tiago Carvalho

Published in: LCTES (2024)

Keyphrases

artificial intelligence
database
data sets
data analysis
machine learning
relational databases
case study
software engineering
query language
case based reasoning