Login / Signup
Inferring Natural Preconditions via Program Transformation.
Elizabeth Dinella
Shuvendu K. Lahiri
Mayur Naik
Published in:
SIGSOFT FSE Companion (2024)
Keyphrases
</>
databases
data mining
information retrieval
inference rules
computer programs
database
real time
data sets
neural network
machine learning
information systems
knowledge base
relational databases
software engineering
programming environment
transformation rules