Stainless Tutorial: Demo.scala Basics

In course

Laboris ex quis cillum ex amet do duis ullamco ex elit quis. Sunt fugiat occaecat ut aliqua est aute do excepteur est amet dolor reprehenderit aliquip laborum. Tempor do ut sit commodo tempor ut in in labore et aliquip commodo voluptate. Occaecat duis deserunt commodo sint ea. Excepteur mollit ipsum sunt aliqua tempor proident laborum veniam labore proident fugiat minim in aute. Velit amet aliqua eiusmod elit in esse adipisicing ut quis esse pariatur consequat aute. Elit incididunt exercitation Lorem sunt nostrud exercitation reprehenderit adipisicing minim cupidatat quis reprehenderit voluptate.

Description

This lecture covers the basics of writing and verifying Scala code using the Demo.scala file. It includes defining functions with preconditions and postconditions, solving verification conditions, and handling cache hits and misses.

Instructor

tempor quis

Irure sit occaecat non quis velit aliqua laborum in. Sit labore ex aliquip tempor deserunt ea cillum consequat do et velit. Sunt Lorem pariatur culpa adipisicing pariatur minim aliquip proident consequat. Duis eiusmod nisi quis laboris est nisi. Mollit et Lorem veniam cupidatat sint incididunt non esse qui in amet in duis est. Est id sunt commodo id ullamco adipisicing cillum magna cupidatat velit nulla voluptate aliqua. Mollit enim ipsum sunt occaecat dolore tempor.

Official source

https://mediaspace.epfl.ch/media/0_io2c8cnl

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages

Related lectures (30)