A Certified Denotational Abstract Interpreter.

David Cachera David Pichardie

Published in: ITP (2010)

Keyphrases

programming language
higher level
database
production system
operational semantics
data sets
computer vision
databases
neural network
high level
digital libraries