The Core Semantics of Rascal.

Ahmad Salim Al-Sibahi

Published in: CoRR (2017)

Keyphrases

semantic information
formal semantics
logic programming
databases
real time
social networks
data structure
knowledge representation
proof theory
argumentation semantics