S. Blazy, La spkcialisation de programmes pour I'aidc B la maintenance du logiciel, 1993.

S. Rlazy and P. Facon, Partial evaluation as an aid to the comprehension of Fortran programs IEEE Workshop on Program Comprehension, Capri, pp.46-54, 1993.

P. D. Coward, Symbolic execution systems???a review, Software Engineering Journal, vol.3, issue.6, pp.229-239, 1988.
DOI : 10.1049/sej.1988.0029

J. Dcspeyroux, Proof of translation in natural semantics. Symposium on Logic in Computer Science

C. Consel and S. C. Khoo, Parameterized partial evaluation, ACM Transactions on Programming Languages and Systems, vol.15, issue.3, pp.463-493, 1993.
DOI : 10.1145/169683.174155

K. R. Gallagher and . Lyle, Using program slicing in software maintenance, IEEE Transactions on Software Engineering, vol.17, issue.8, pp.751-761, 1991.
DOI : 10.1109/32.83912

M. Hennessy, The semantics of programming languages, 1990.

C. R. Jones, Systematic software development uhing VDM. I'rcnticc-Hall, 1990.

N. D. Jones, P. Sestoft, and H. Sondergaard, MIX: a selfapplicable partial evaluaior for experiments in compiler gencration, Lisp and Symbolic Computation 2, p.9, 1989.

G. Kahn, Natural semantics Proceedings of STACS'87, Lecture Notes in Computer Science, ~01.247, UNISEX: a UNIX-based Symholic Executor for Pascal. Software Practice and Experience, 1 S(S), pp.439-457, 1985.

U. Meyer, Techniques for evaluation of imperative languages, ACM SIGSOFT, pp.94-105, 1991.

G. Plotkin, A siructural approach to operational semantics, 1981.