K. Mehlhorn and P. Sanders, Algorithms and Data Structures, 2008.

N. Beldiceanu, P. Flener, and X. Lorca, Combining Tree Partitioning, Precedence, and Incomparability Constraints, Constraints, vol.21, issue.1, 2008.
DOI : 10.1007/s10601-007-9040-x

URL : https://hal.archives-ouvertes.fr/hal-00481533

P. Tarr, H. Ossher, W. Harrison, and S. M. Sutton, N degrees of separation: multidimensional separation of concerns, ICSE '99: Proceedings of the 21st International Conference on Software Engineering, pp.107-119, 1999.

W. Harrison and H. Ossher, Subject-oriented programming: a critique of pure objects, OOPSLA '93: Proceedings of the eighth annual conference on Object-Oriented Programming Systems, Languages, and Applications, pp.411-428, 1993.

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira-lopes et al., Aspect-oriented programming, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005., 1997.
DOI : 10.1109/ICSE.2005.1553685

D. Batory and S. O-'malley, The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methodology, vol.1, issue.4, pp.355-398, 1992.
DOI : 10.1145/136586.136587

D. Jackson, Structuring Z specifications with views, ACM Transactions on Software Engineering and Methodology, vol.4, issue.4, pp.365-389, 1995.
DOI : 10.1145/226241.226249

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.6904

P. Wadler, Views: a way for pattern matching to cohabit with data abstraction, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.307-313, 1987.
DOI : 10.1145/41625.41653

A. Gill, J. Launchbury, P. Jones, and S. L. , A short cut to deforestation, Proceedings of the conference on Functional programming languages and computer architecture , FPCA '93, pp.223-232, 1993.
DOI : 10.1145/165180.165214

J. Hughes, Why Functional Programming Matters, The Computer Journal, vol.32, issue.2, pp.98-107, 1989.
DOI : 10.1093/comjnl/32.2.98

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.8004

A. Warth, LazyJ: Seamless lazy evaluation in Java, 2007.

A. Shankar and R. Bodík, DITTO: automatic incrementalization of data structure invariant checks, PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming Language Design and Implementation, pp.310-319, 2007.

U. A. Acar, A. Ahmed, and M. Blume, Imperative self-adjusting computation. SIG- PLAN Not, pp.309-322, 2008.
DOI : 10.1145/1328438.1328476

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.6076

K. Matsuda, Z. Hu, K. Nakano, M. Hamana, and M. Takeichi, Bidirectionalization transformation based on automatic derivation of view complement functions, ICFP '07: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, pp.47-58, 2007.

J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt, Combinators for bi-directional tree transformations, ACM SIGPLAN Notices, vol.40, issue.1, pp.233-246, 2005.
DOI : 10.1145/1047659.1040325