Compiler Verification in LF

John Hannan Frank Pfenning

Published in: LICS (1992)

Keyphrases

programming language
general purpose
model checking
databases
face verification
artificial intelligence
signature verification
highly optimized
distributed memory machines
learning algorithm
relational databases
operating system
light field
formal analysis
valued logic
java bytecode