PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020

Published in: PLAS@CCS (2020)

Keyphrases

programming language
object oriented
software engineering
general purpose
international conference
international workshop
high level
programming environment
logic programming
artificial intelligence
higher order
lecture notes
strongly typed