Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, PLAS 2011, San Jose, CA, USA, 5 June, 2011

Published in: PLAS (2011)

Keyphrases

programming language
object oriented
international conference
general purpose
software engineering
database languages
san jose
database
machine learning
high level
strongly typed
lambda calculus