Sentence examples for abstract interpretation from inspiring English sources

Abstract interpretation is a theory of abstraction that has been introduced for the analysis of programs.

We show that the framework of abstract interpretation elegantly applies to the formalization of these further abstractions, and to the implementation of linear or quadratic time type checking as well as type inference algorithms.

Like Narcosis, Deep takes place underwater, though currently a more abstract interpretation.

That ensemble will perform Shen's formal, abstract interpretation of Stravinsky's "Rite of Spring," from 2003.

We propose an abstract interpretation framework to reason about this problem in a systematic way.

It also arises in static analysis of programs by abstract interpretation.

In 1997, Cousot introduced a hierarchy where semantics are related with each other by abstract interpretation.

In this paper we apply the Abstract Interpretation approach [P. Cousot and R. Cousot.

To be more precise, it will be Mr. Lüpertz's abstract interpretation of Hercules.

In abstract interpretation-based static analysis, approximation is encoded by abstract domains.

We propose an abstract interpretation-based analysis for automatically proving non-trivial properties of mobile systems of processes.