Abstracting Denotational Interpreters.

Sebastian Graf Simon Peyton Jones Sven Keidel

Published in: CoRR (2024)

Keyphrases

operational semantics
virtual machine
description language
representation language
databases
domain knowledge
relational databases
knowledge representation
information retrieval
logic programs
case study
open source
decision trees
learning process
email
xml documents
active learning
database