Advanced VPL Programming

Related lectures (31)

Page 3 of 4

Introduces basic programming concepts in C, covering I/O functions, variables, data types, and the stdio library.

Delves into binary language and Grace Hopper's contributions to programming.

Covers the basics of LabVIEW programming, focusing on Virtual Instruments and their applications in engineering projects.

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

Covers the differences between event programming and sequential programming.

Covers exercises on capsules creation, group selection, and evaluation criteria.

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

Covers IoT security challenges, cyber-physical attacks, and global attack surfaces.

Covers the basics of LabVIEW, including control structures and data types.

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.