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