Semantics-preserving inlining for metaprogramming.

Nicolas Stucki Aggelos Biboudis Sébastien Doeraene Martin Odersky

Published in: SCALA@SPLASH (2020)

Keyphrases

case study
logic programming
semantic information
neural network
information retrieval
information systems
bayesian networks
natural language
conceptual model
virtual machine
nonmonotonic logics
model theoretic
proof theory
argumentation semantics
intended meaning