Sheaf Semantics of Termination-Insensitive Noninterference.

Jonathan Sterling Robert Harper

Published in: FSCD (2022)

Keyphrases

active rules
rewrite systems
formal semantics
logic programming
genetic algorithm
semantic information
metadata
active databases
semantic representation
termination analysis