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

Piotr Mardziel Niki Vazou

Published in: CCS (2019)

Keyphrases

distributed databases
programming language
object oriented
high level
logic programming
database languages
general purpose
web applications
specification language
databases
software engineering
computer programs
object oriented programming
data abstraction
strongly typed
lambda calculus