Learn More
interpretation is a technique for the static detection of dynamic properties of programs. It is semantics based, that is, it computes approximative properties of the semantics of programs. On this basis, it allows for correctness proofs of analyses. It replaces commonly used ad hoc techniques by systematic, provable ones, and it allows the automatic(More)
The techniques which are used to implement (non-trivial) interprocedural data ow analyzers can be generally divided into two subsets: the call string and the functional approach as presented in Sharir and Pnueli, 1981]. Both diier in their time and space complexity as well as in the precision due to properties of the abstract domains and transfer functions.(More)