Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus.

Naokata Shikuma Atsushi Igarashi

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

lambda calculus
programming language
database query languages
program understanding
higher order
complex objects
predicate calculus
database
database systems
object oriented
case study
relational databases
general purpose
source code
data management