arXiv subjects

Dorothea Jansen

Publications and source records attributed to Dorothea Jansen.

3 recordsLinked to original sources

arXiv2017

Über die Präzision interprozeduraler Analysen

In this work, we examine two approaches to interprocedural data-flow analysis of Sharir and Pnueli in terms of precision: the functional and the call-string approach. In doing so, not only the theoretical best, but all solutions are regarded which occur when using abstract interpretation or widening additionally. It turns out that the solutions of both approaches coincide. This property is preserved when using abstract interpretation; in the case of widening, a comparison of the results is not always possible.

cs.LO↗

arXiv2017

Existence of Typical Scales for Manifolds with Lower Ricci Curvature Bound

For collapsing sequences of Riemannian manifolds which satisfy a uniform lower Ricci curvature bound it is shown that there is a sequence of scales such that for a set of good base points of large measure the pointed rescaled manifolds subconverge to a product of a Euclidean and a compact space. All Euclidean factors have the same dimension, all possible compact factors satisfy the same diameter bounds and their dimension does not depend on the choice of the base point (along a fixed subsequence).

math.DG↗

arXiv2017

Notes on Pointed Gromov-Hausdorff Convergence

The present article addresses to everyone who starts working with (pointed) Gromov-Hausdorff convergence. In the major part, both Gromov-Hausdorff convergence of compact and of pointed metric spaces are introduced and investigated. Moreover, the relation of sublimits occurring with pointed Gromov-Hausdorff convergence and ultralimits is discussed.

math.MG↗