Login / Signup
Dependent Types for Program Termination Verification.
Hongwei Xi
Published in:
LICS (2001)
Keyphrases
</>
program execution
database
real world
information systems
symbolic execution
data sets
databases
machine learning
information retrieval
learning algorithm
image sequences
video sequences
computer programs
multiple types
verification method