Lecture

Abstract Interpretation and Octagon Domain

In course
DEMO: culpa labore officia laboris
Veniam voluptate incididunt Lorem dolor. Irure nisi velit est labore irure. Fugiat sunt qui non enim deserunt.
Login to see this section
Description

This lecture covers the principles of abstract interpretation and the Octagon domain, focusing on the representation of constraints and the trade-off between precision and efficiency. It explains the use of Galois connections, concretization, abstraction functions, and operations on DBMs. The lecture also delves into the static analysis of programs using the Octagon abstract domain, discussing assignments, branching, loops, and the benefits of sound approximations for detecting runtime issues.

Instructor
est aliquip
Elit sit laborum pariatur est fugiat aute elit deserunt do. Veniam sunt occaecat dolore sit do cillum fugiat tempor culpa nisi ex in proident. Est eiusmod proident ullamco incididunt proident aliquip. Eiusmod sunt nulla non commodo sunt excepteur nostrud aute in anim consequat. In culpa ullamco tempor reprehenderit eiusmod. Cupidatat dolor nisi reprehenderit ex.
Login to see this section
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.