Monadic abstract interpreters.

Ilya Sergey Dominique Devriese Matthew Might Jan Midtgaard David Darais Dave Clarke Frank Piessens

Published in: PLDI (2013)

Keyphrases

description language
virtual machine
datalog programs
low level
real time
real world
information retrieval
feature selection
high level
learning environment
video sequences
artificial neural networks
higher level
deductive databases