Intermediate Compilers & Programming Language Theory
Q43 / 100

What is abstract interpretation?

Correct! Well done.

Incorrect.

The correct answer is B) A static analysis framework executing programs on abstract domains (intervals, signs, polyhedra) to prove properties without running the actual program

B

Correct Answer

A static analysis framework executing programs on abstract domains (intervals, signs, polyhedra) to prove properties without running the actual program

Explanation

Abstract interpretation (Cousot 1977): instead of executing on concrete values, run on abstract values (signs: +/-/0, intervals [l,u]). Sound overapproximations: if abstract execution is safe, concrete execution is safe. Used in Astrée (Airbus), Frama-C.

Previous All Questions Next
Progress
43/100
⚗️

Browse All Compilers & Programming Language Theory Questions

100 questions · beginner to advanced