PLAS 2017: ACM SIGSAC Workshop on Programming Languages and Analysis for Security.

Nataliia Bielova Marco Gaboardi

Published in: CCS (2017)

Keyphrases

programming language
object oriented
programming environment
software engineering
strongly typed
general purpose
data abstraction
concurrent programming