Language Theory into Practice

Related lectures (31)

Page 3 of 4

Explains the differences between pointers and references in programming, focusing on their definitions, uses, and limitations in C and C++.

Covers the architecture of virtual machines, focusing on memory management, control flow, and the CEK machine's semantics.

Explores the significance of NumPy for scientific computing, emphasizing the importance of optimizing computation time and memory usage.

Introduces basic programming concepts in C, covering I/O functions, variables, data types, and the stdio library.

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

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

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

Covers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.

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

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