Sign in

Sheaf Semantics of Termination-Insensitive Noninterference.

Jonathan SterlingRobert 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