Traditionally, transfer functions have been manually designed for each operation in a program. Recently, however, there has been growing interest in computing transfer functions, motivated by the desire to reason about sequences of operations that constitute basic blocks. This paper focuses on deriving transfer functions for intervals — possibly the most widely used numeric domain — and shows h...

this paper deals with the basic notions of k-tautimmersions . these notions come from two special cases; that is, tight and taut immersions. tight and taut based on high and distance functions respectively and their basic notions are normal bundle, endpoint map, focal point, critical normal. we generalize hight and distance functions to cylindrical function and define basic notions of k-taut im...

This paper deals with the basic notions of k-tautimmersions . These notions come from two special cases; that is, tight and taut immersions. Tight and taut based on high and distance functions respectively and their basic notions are normal bundle, endpoint map, focal point, critical normal. We generalize hight and distance functions to cylindrical function and define basic notions of k-taut ...