Lectures related to P-code machine

Covers examples of code generation and introduces WebAssembly (WA) bytecode and stack machine operation.

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.

Introduces setting up the environment, Git basics, and Jupyter Notebook features with practical examples.

Analyzes the compiler output of a C program and compares it with Java byte code.

Covers implementing recommender systems using the MovieLens dataset and evaluating them with RMSE and MAE metrics.

Introduces compiler theory, language processing, and the essential concepts behind building compilers.

Covers the fundamentals of processors, from digital logic to program execution, including components like ALU, register file, and control logic.