Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Semantics in Computer Language Processing: Understanding Meaning

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (35)

Variables & Operators Log in to Mediaspace to watch this video

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

Effective Altruism: AI Safety and Governance Log in to Mediaspace to watch this video

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

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Variables and Types: Introduction to C Programming Log in to Mediaspace to watch this video

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

Language Theory into Practice Log in to Mediaspace to watch this video

Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.

Strings in C: Initialization and Memory Management Log in to Mediaspace to watch this video

Covers the representation and management of strings in C, highlighting key differences from other programming languages.

Functions in C: Key Concepts and Examples Log in to Mediaspace to watch this video

Explains the essential concepts of functions in C programming, including definitions, prototypes, and argument passing techniques.

Operators and Expressions: Programming in C Log in to Mediaspace to watch this video

Explains operators and expressions in C, focusing on arithmetic, comparison, and logical operations.

Pointers in C: Understanding Their Utility and Applications Log in to Mediaspace to watch this video

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

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Memory Safety and Client/Server Architecture: Key Concepts Log in to Mediaspace to watch this video

Covers memory safety principles and the client/server architecture in system design.

Dynamic Memory Management: Using Realloc in C Log in to Mediaspace to watch this video

Explains dynamic memory allocation in C, focusing on the realloc function and its implications for managing memory effectively.

Recursive Functions: Methodology of Development + Debugging Log in to Mediaspace to watch this video

Covers the methodology of development, recursion, and debugging in C++.

Memory Management: Dynamic Allocation and Deallocation Log in to Mediaspace to watch this video

Covers dynamic memory management, focusing on allocation and deallocation practices in programming.

Pointers: Passing by Reference in C Log in to Mediaspace to watch this video

Explains pointers in C, focusing on passing by reference and memory management techniques.

Page 2 of 2