Verifying Programs with Stainless: Part 2

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 2 of 3

Unfolding recursive functions in Stainless

Covers the concept of unfolding recursive functions using the Stainless tool.

Safe Mutation in Practice

Explores safe mutation in functional programming through lazy evaluation, object invariants, and efficient caching functions.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Gitlab Agent for Kubernetes (`agentk`)

Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.

Abstract Interpretation in Stainless

Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.

Class hierarchies: pattern matching

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Hoare Logic: Postconditions and Preconditions

Covers Hoare logic, postconditions, preconditions, and program behavior proofs.

LabVIEW Programming Essentials

Explores LabVIEW essentials, troubleshooting common issues, managing cache, and data visualization techniques.

General Introduction to Big Data

Covers data science tools, Hadoop, Spark, data lake ecosystems, CAP theorem, batch vs. stream processing, HDFS, Hive, Parquet, ORC, and MapReduce architecture.

Concurrency Semantics and Verification

Explores concurrency semantics, recursive functions, loops, interleaving modeling, and interpreter verification.