Browsing by Author "Krall, A."

Now showing items 1-1 of 1

    • Transformation of meta-information by abstract Co- interpretation 

      Kirner, Raimund; Puschner, P. (Springer Nature, 2003)
      In this paper we present an approximation method based on abstract interpretation to transform meta-information in parallel with the transformation of concrete data. The meta-information is assumed to describe further ...