Browsing Research publications 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 ...