Functional Big-Step Semantics.

Scott Owens Magnus O. Myreen Ramana Kumar Yong Kiam Tan

Published in: ESOP (2016)

Keyphrases

post processing
formal semantics
real time
real world
multiscale
logic programming
semantic information
machine learning
website
database systems
multi agent
object oriented
semantic relationships