Modular capture avoidance for program transformations

@inproceedings{Ritschel2015ModularCA,
  title={Modular capture avoidance for program transformations},
  author={Nico Ritschel and Sebastian Erdweg},
  booktitle={SLE},
  year={2015}
}
The application of program transformations and refactorings involves the risk of capturing variables, which may break the intended semantics of the transformed code. One way to resolve variable capture is by renaming of the involved identifiers. However, in a modular context, the renaming of exported declarations is undesirable (affecting a module's clients), and the renaming of imported declarations is impossible (requiring changes to third-party modules). We present an algorithm name-fix that… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Tracing model transformations with string origins

  • P. I. Valdera, T. van der Storm, S. Erdweg
  • In Proceedings of International Conference on…
  • 2014
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…