Dependent Types for Program Termination Verification.

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