Deriving Pretty-Big-Step Semantics from Small-Step Semantics.

Casper Bach Poulsen Peter D. Mosses

Published in: ESOP (2014)

Keyphrases

formal semantics
artificial intelligence
information systems
active rules
real time
clustering algorithm
small number
post processing
semantic information
big data
semantic representation
nonmonotonic logics