PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security.

Mário S. Alvim Stéphanie Delaune

Published in: CCS (2018)

Keyphrases

programming language
object oriented
general purpose
software engineering
logic programming
programming environment
data abstraction
strongly typed
specification language
database languages
end users
higher order
expressive power
high level programming language