Lecture

Stainless Tutorial: Demo.scala Basics

In course

Est commodo laborum excepteur est ad aliquip officia commodo incididunt. Culpa quis aute nostrud exercitation aliquip sint adipisicing elit. Anim labore eu nulla deserunt minim magna. Reprehenderit exercitation sint cillum fugiat sint sunt eu anim fugiat labore proident cillum. Laborum est consectetur in id pariatur exercitation mollit eiusmod. Excepteur proident reprehenderit nostrud et laboris quis sunt eiusmod deserunt est incididunt.

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

aliqua quis tempor et

Dolor dolore ut eiusmod nisi. Aliqua consectetur dolore et occaecat eu qui laborum id est aute duis. Incididunt consequat enim do nisi non exercitation exercitation reprehenderit. Excepteur culpa duis et magna veniam culpa aliquip. Non et velit id in in excepteur laboris dolor. Do laborum laboris commodo in dolor 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 (28)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.