A Semantics for the Essence of React.

Magnus Madsen Ondrej Lhoták Frank Tip

Published in: ECOOP (2020)

Keyphrases

formal semantics
logic programming
databases
semantic information
database
domain knowledge
conceptual model
conceptual graphs
proof theory
real time
data sets
relational databases
belief revision
default reasoning
transformation rules