A framework for big-step semantics.

Francesco Dagnino

Published in: Programming (2019)

Keyphrases

conceptual framework
data sets
databases
main contribution
artificial intelligence
computer vision
expert systems
probabilistic model
post processing
logical framework