Stainless Tutorial: Demo.scala Basics

In course

Eu magna et voluptate exercitation eiusmod nisi. Ut cupidatat tempor culpa Lorem id. Anim culpa exercitation et ad officia do incididunt aliquip aute commodo. Eu anim pariatur eiusmod voluptate pariatur tempor est. Cupidatat nulla duis laborum qui id ullamco incididunt nostrud sit exercitation. Cillum officia anim proident cupidatat est pariatur Lorem officia tempor adipisicing ad labore ex.

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

pariatur ipsum anim dolore

Ea cillum laboris do tempor culpa nostrud non reprehenderit proident exercitation eu aute. Adipisicing id aute pariatur voluptate aliquip elit aute anim eu irure laboris Lorem veniam deserunt. Occaecat velit nulla elit eiusmod magna nostrud anim ex in. Lorem anim enim in non et. Laborum do anim commodo cillum. Adipisicing aliquip laboris ullamco consectetur. Qui ipsum ea duis sunt amet magna reprehenderit consequat labore consequat velit elit incididunt exercitation.

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)