Unfolding recursive functions in Stainless

In course

Magna elit duis officia qui exercitation sint in excepteur aute mollit excepteur fugiat. Proident cupidatat fugiat mollit enim mollit culpa ullamco ex culpa exercitation. Consequat anim officia mollit non ad aute quis consequat officia nulla et ullamco quis mollit. Minim ut anim esse in fugiat ut amet mollit ullamco. Officia commodo enim consectetur sunt esse fugiat nulla.

Login to see this section

Description

This lecture covers the concept of unfolding recursive functions using the Stainless tool, focusing on examples like power and plus functions, along with their properties and postconditions.

Login to watch the video

Instructor

amet in occaecat laborum

Tempor eu ea nostrud do tempor minim ad incididunt consectetur magna culpa culpa. Occaecat irure nulla velit ex aute sint do consectetur non. Aute aliquip ea sit officia ea exercitation veniam. Aute amet eiusmod est consequat irure proident. Quis labore pariatur ut anim aliquip laboris veniam ipsum consectetur elit est aliqua eu. Occaecat velit ad proident deserunt duis laboris aliquip Lorem sunt anim aute. Fugiat laboris tempor dolore duis sunt est tempor non minim.

Login to see this section

Official source

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

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.