PLAS: The 18th Workshop on Programming Languages and Analysis for Security.

Fraser Brown Klaus von Gleissenthall

Published in: CCS (2023)

Keyphrases

programming language
strongly typed
object oriented
lambda calculus
high level
software engineering
general purpose
logic programming
programming environment
denotational semantics