Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018

Published in: PLAS@CCS (2018)

Keyphrases

programming language
international conference
object oriented
general purpose
high level
software engineering
programming environment
logic programming
object oriented programming
selected papers
test cases
international workshop
acm sigkdd
denotational semantics