Programming Language Foundations

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Arcanium Programming Foundations: A Security-Focused Language for Encrypted Logic Verifiable Execution and Safe Computing

The C++ programming language

Programming Language Explorations