Advanced VPL Programming

Related lectures (31)

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.

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

Covers algorithmic thinking, Python programming, numerical methods, and essential computing concepts for scientific computing.

Offers a crash course in MATLAB, covering data representation, array indexing, mathematical operations, and common pitfalls.

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

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

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

Page 2 of 2