Pretty-Big-Step Semantics.

Arthur Charguéraud

Published in: ESOP (2013)

Keyphrases

post processing
logic programming
big data
formal semantics
databases
artificial intelligence
website
search algorithm
transformation rules