From Outermost Reduction Semantics to Abstract Machine.

Olivier Danvy Jacob Johannsen

Published in: LOPSTR (2013)

Keyphrases

abstract machine
data model
semantic information
formal semantics
data sets
feature selection
high level
image sequences
relational databases
domain knowledge
logic programming
reduction method