Fully abstract trace semantics for protected module architectures.

Marco Patrignani Dave Clarke

Published in: Comput. Lang. Syst. Struct. (2015)

Keyphrases

propositional dynamic logic
formal semantics
logic programming
low level
update semantics
semantic information
neural network
knowledge base
high level
database systems
real time
higher level
artificial intelligence
learning algorithm
machine learning
speech acts
logical language
data sets