Login / Signup
Quantifier Elimination and Information Flow Control for Software Security.
Gregor Snelting
Published in:
Algorithmic Algebra and Logic (2005)
Keyphrases
</>
data exchange
quantifier elimination
information flow control
information flow
constraint propagation
functional programming
presburger arithmetic
cardinality constraints
first order logic
constraint databases
information systems
query evaluation
transitive closure