A Comparison of Big-step Semantics Definition Styles.

Péter Bereczky Dániel Horpácsi Simon J. Thompson

Published in: CoRR (2020)

Keyphrases

database
data sets
model theoretic
multi step
specification language
multiple inheritance
real time
information retrieval
knowledge base
logic programming
post processing
big data
preprocessing step
formal semantics
definition language