Programming Languages

The study of programming languages asks what a program means, independently of the machine that runs it, and answers with operational and denotational semantics. Getting that right is what makes a compiler optimisation safe and a type system sound. Writing here covers formal semantics with an emphasis on ownership and lifetimes, where the language's guarantees are theorems about the semantics rather than promises about the implementation.