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

Naokata Shikuma Atsushi Igarashi

Published in: ASIAN (2006)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
higher order
artificial intelligence
high level
object oriented
general purpose
source code
database design
expressive power
formal model