Event and Sequential Programming

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 3 of 4

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.

Understanding Microcontrollers: Programming in C/Arduino

Covers the basics of programming microcontrollers using C language and Arduino platform.

Stainless Verification System Tutorial

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

Operators and Expressions: Programming in C

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

Hoare Logic: Foundations and Applications

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

Dynamic Memory Management: Using Realloc in C

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

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.

Pointers and Functions: Understanding Type Reading

Covers type reading in C, focusing on pointers, functions, and the use of typedefs for clarity.

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.