Programming Language Security

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 3 of 4

Simply Typed Lambda Calculus: Foundations and Properties

Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.

Pointers and References: Key Differences in Programming

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

Designing Formally Correct Intermittent Systems

Explores designing formally correct intermittent systems for extreme edge computing platforms, emphasizing correctness, reliability, and security.

Pointers and Functions: Understanding Type Reading

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

Meta-metaprogramming: Advanced Tools for Software Engineering

Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.

Stainless Verification System Tutorial

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

Functions in C: Key Concepts and Examples

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

Pointers: Strings, Functions, Casting

Covers pointers to strings, functions, and casting in C programming.

Variables & Operators

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

Formally Correct Intermittent Systems

Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.