Verification of non-functional programs using interpretations in type theory.

Jean-Christophe Filliâtre

Published in: J. Funct. Program. (2003)

Keyphrases

functional programs
lazy evaluation
term rewriting systems
data structure
logic programs
artificial intelligence
database systems
knowledge representation
model checking
distributed databases