Keynote address: towards secure systems programming languages.

Published in: SAC (2004)

Keyphrases

programming language
keynote address
object oriented
general purpose
software engineering
denotational semantics
database languages
databases
high level
relational databases
computer programs
strongly typed
lambda calculus
database
e learning