A conception of law is a general, abstract interpretation of legal practice as a whole.

Upon completion of the abstract interpretation, instructions which were never reached are marked as dead code.

His remarkable paintings of the female head and form quickly developed into a vehicle for his abstract interpretations.

This article illustrates abstract interpretation by means of real-world, non-computing examples.

Astrée is a static analyzer based on abstract interpretation.

The theorem has applications in abstract interpretation, a form of static program analysis.

It is also possible to relate multiple semantics through abstractions via the theory of abstract interpretation.

Abstraction is the core concept of abstract interpretation.

The garden is meant to provide an abstract interpretation of the regional landscape from ocean to mountains.

Within computer science, there are connections with abstract interpretation, program verification, and model checking.