Verifying Determinism in Sequential Programs.

Rashmi Mudduluru

Published in: ASE (2019)

Keyphrases

sequential search
model checking
knowledge base
automatic programming
computer programs
programming environment
association rules
free software
control structures
source code
neural network
search algorithm
optimal solution
case study
search engine
artificial intelligence
information retrieval