Transformation of Meta-Information by Abstract Co-interpretation

@inproceedings{Kirner2003TransformationOM,
  title={Transformation of Meta-Information by Abstract Co-interpretation},
  author={Raimund Kirner and Peter P. Puschner},
  booktitle={SCOPES},
  year={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 properties of the specific data. The construction of a correct transformation function for the meta-information can be quite complicated in case of complex data transformations or data structures. A special approximation method is presented that works with data ab- 

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 12 references

Similar Papers

Loading similar papers…