Towards the Future: Bring Program Correctness back to the focus.

Chongyi Yuan Lijie Wen Xiongliang Yan

Published in: CoRR (2022)

Keyphrases

long term
neural network
predicting future
three dimensional
real world
website
data mining
similarity measure
digital libraries
machine learning
information retrieval
information systems
multiscale
multi agent systems
data model
software engineering
computer programs
current status
database