What is a Secure Programming Language?

Cristina Cifuentes Gavin M. Bierman

Published in: SNAPL (2019)

Keyphrases

programming language
general purpose
object oriented
strongly typed
high level
specification language
programming environment
software engineering
logic programming
computer programs
object oriented programming
database languages
data abstraction
database language
functional programming
database
machine learning