PLAS'16: ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security.

Toby C. Murray Deian Stefan

Published in: CCS (2016)

Keyphrases

programming language
object oriented
software engineering
strongly typed
high level
logic programming
programming environment
data abstraction
artificial intelligence
object oriented programming
functional programming
program code
denotational semantics