Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013

Published in: PLAS (2013)

Keyphrases

programming language
object oriented
general purpose
high level
software engineering
data model
concurrent programming
search algorithm
logic programming
programming environment
data abstraction