Author:
Jones Neil D.,Hansen René Rydhof
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Lecture Notes in Computer Science;N.D. Jones,2007
2. Jones, N.D., Hansen, R.R.: Technical appendix to [1]. (unpublished) (2007),
http://www.diku.dk//hjemmesider/ansatte/neil/sempatch.pdf
3. Padioleau, Y., et al.: Semantic patches for documenting and automating collateral evolutions in Linux device drivers. In: PLOS 2006: Proc. of workshop on Programming languages and operating systems, p. 10 (2006)
4. Coccinelle project home page,
http://www.emn.fr/x-info/coccinelle/
5. De Moor, O., Lacey, D., Van Wyk, E.: Universal regular path queries. Higher-order and Symbolic Computation 16(1-2), 15–35 (2003)