Type-directed Program Transformation for Constant-Time Enforcement.

Gautier Raimondi Frédéric Besson Thomas P. Jensen

Published in: PPDP (2023)

Keyphrases

real world
data mining
program execution
databases
decision making
case study
three dimensional
optimal solution
xml documents
distributed systems
access control
programming environment