Login / Signup
Dependent Types for Program Termination Verification.
Hongwei Xi
Published in:
High. Order Symb. Comput. (2002)
Keyphrases
</>
symbolic execution
neural network
model checking
multiple types
concurrent systems
machine learning
information systems
decision trees
case study
image sequences
multiscale
search algorithm
program execution
term rewriting
rewrite systems