BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs.

Agustín Mista Alejandro Russo

Published in: TFP (2020)

Keyphrases

expressive power
semi automated
metadata
computer aided
meta level
temporal reasoning
annotation tool
domain knowledge
deductive databases
fully automated
semantic annotation
datalog queries
automated analysis
multiple sources
data sets
special case
keywords
web services
information systems