Programming language theory

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Explores programming language security, covering type safety, memory safety, threat safety, Rust's ownership model, sandboxing, and compartmentalization.

C++ Project Organization: Object-Oriented Programming

Introduces the C++ POP course objectives, focusing on project development and object-oriented programming techniques.

Stainless Verification System Tutorial

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Big-step semantics: Defining arithmetic expressions and commands

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Effective Altruism: AI Safety and Governance

Covers effective altruism in AI safety, focusing on programming semantics and memory management.

Semantics in Computer Language Processing: Understanding Meaning

Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.

Variables and Types: Introduction to C Programming

Introduces the fundamentals of variables and types in C programming, covering declaration, initialization, and the differences from Java.

Variables & Operators

Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.

Increment Operators in C: Understanding ++x and x++

Explains the differences between the prefix and suffix increment operators in C programming, emphasizing clarity and best practices in coding.

Pointers in C: Understanding Their Utility and Applications

Covers the definition and applications of pointers in C programming, emphasizing their role in memory management and generic programming.

Page 2 of 2