Deriving Abstract Interpreters from Skeletal Semantics.

Thomas P. Jensen Vincent Rebiscoul Alan Schmitt

Published in: EXPRESS/SOS (2023)

Keyphrases

formal semantics
logic programming
propositional dynamic logic
real time
medial axis
graphical representation
low level
human motion
virtual machine
data sets
databases
neural network
multi agent systems
semantic information
representation language