Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Precondition
Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...
Graph Chatbot
Related lectures (8)
Login to filter by course
Login to filter by course
Reset
Data Abstraction: Rational Numbers
Covers data abstraction in rational numbers, including client's view, self-reference, preconditions, assertions, constructors, and end markers.
Stainless Tutorial: Demo.scala Basics
Covers the basics of writing and verifying Scala code using the Demo.scala file.
Formally Verified Chisel Designs
Explores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.
Hoare Logic: Postconditions and Preconditions
Covers Hoare logic, postconditions, preconditions, and program behavior proofs.
Verifying Programs with Stainless: Part 2
Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.
Encoder and Decoder for Prefix-Free Codes
Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.
Verifying Compiler: Spec# Approach
Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.
Data-Parallel Operations: Scala Programming
Covers data-parallel operations in Scala programming, focusing on fold operations and aggregate operation.
Previous
Page 1 of 1
Next
