Login / Signup
Towards a Framework for Developing Verified Assemblers for the ELF Format.
Jinhua Wu
Yuting Wang
Meng Sun
Xiangzhe Xu
Yichen Song
Published in:
APLAS (2023)
Keyphrases
</>
main contribution
databases
framework enables
data sets
artificial intelligence
search engine
feature selection
metadata
multimedia
expert systems
artificial neural networks
recommender systems
evolutionary algorithm
conceptual framework