High-level programming language

Related lectures (31)

Page 2 of 4

Covers workshops on internet concepts, operating systems, structured data, and digital impacts.

Focuses on programming with Thymio, solving problem-oriented tasks and assessing the robot's abilities.

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

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

Delves into Grace Hopper's pioneering work in computer programming, making it more accessible and efficient.

Covers the basics of software security, focusing on memory safety and mitigation strategies against code execution attacks.

Covers programming the Thymio robot through simulation, remote access, and integration with Raspberry PI.

Explains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.

Covers event planning, sequential programming, and the decision-making process when programming a robot.

Explains the basic concepts of computer science and their interaction.