PLAS'20: 15th Workshop on Programming Languages and Analysis for Security.

Alley Stoughton Marco Vassena

Published in: CCS (2020)

Keyphrases

programming language
high level
object oriented
general purpose
software engineering
programming environment
denotational semantics
logic programming
specification language
artificial intelligence
higher order
data abstraction
lambda calculus