Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014

Published in: PLAS@ECOOP (2014)

Keyphrases

programming language
general purpose
international workshop
international conference
object oriented
high level
software engineering
programming environment
acm sigkdd
database
object oriented programming
denotational semantics
source code
logic programming
lambda calculus