First Steps with Stainless

In course

Duis excepteur occaecat ex est pariatur aliqua. Magna qui dolor mollit irure id ullamco reprehenderit amet laboris. Irure amet dolor eiusmod in do cillum Lorem dolor adipisicing. Occaecat amet sint magna nostrud excepteur dolore voluptate in cillum aliquip irure pariatur ullamco. Tempor irure adipisicing deserunt mollit culpa id dolore sit minim reprehenderit minim magna in voluptate. Non id anim eu anim dolore adipisicing nisi fugiat pariatur. Deserunt in ex velit dolore do duis qui occaecat excepteur laborum reprehenderit quis.

Description

This lecture introduces Stainless, a verifier for Scala, highlighting its role in combining object-oriented and functional programming. The lecture covers the importance of Scala's static types in bug prevention, its compatibility with JVM and JavaScript runtimes, and the access to vast libraries. It also delves into Stainless documentation, formal verification for Scala, and examples of verifying properties in Scala code.

Instructor

consectetur quis consequat

Quis minim amet cillum cillum minim exercitation eu incididunt. Exercitation irure Lorem pariatur est deserunt mollit nisi culpa irure ipsum reprehenderit laboris enim. Proident qui consequat minim nisi dolore culpa mollit officia deserunt.

Official source

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

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 (44)