BT

Facilitating the spread of knowledge and innovation in professional software development

Contribute

Topics

Choose your language

InfoQ Homepage Presentations Proving Algebraic Laws in Scala Using Stainless

Proving Algebraic Laws in Scala Using Stainless

Bookmarks
01:02:23

Summary

Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.

Bio

Viktor Kunčak is an Associate Professor in the School of Computer and Communication sciences of EPFL. He joined EPFL in 2007, after receiving a PhD degree from MIT. Since then he has been leading the EPFL Laboratory for Automated Reasoning and Analysis. His research goal is to increase software reliability through new algorithms and tools for verification, synthesis, and automated reasoning.

About the conference

For two days you are at the centre of the functional programming world. It is a place where academia meets industry, where research and practical application collide.

Recorded at:

Jun 28, 2020

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT