Hoare Logic: Foundations and Applications

Related lectures (31)

Page 3 of 4

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

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Covers the concept of formal proof systems, their structure, and soundness.

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

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

Explores the composition of applications in mathematics and the importance of understanding their properties.

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