Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, PLAS 2010, Toronto, ON, Canada, 10 June, 2010

Published in: PLAS (2010)

Keyphrases

programming language
general purpose
strongly typed
international conference
high level
object oriented
software engineering
logic programming
united states
lambda calculus
knowledge discovery and data mining
database languages