La spkcialisation de programmes pour I'aidc B la maintenance du logiciel, 1993. ,
Partial evaluation as an aid to the comprehension of Fortran programs IEEE Workshop on Program Comprehension, Capri, pp.46-54, 1993. ,
Symbolic execution systems???a review, Software Engineering Journal, vol.3, issue.6, pp.229-239, 1988. ,
DOI : 10.1049/sej.1988.0029
Proof of translation in natural semantics. Symposium on Logic in Computer Science ,
Parameterized partial evaluation, ACM Transactions on Programming Languages and Systems, vol.15, issue.3, pp.463-493, 1993. ,
DOI : 10.1145/169683.174155
Using program slicing in software maintenance, IEEE Transactions on Software Engineering, vol.17, issue.8, pp.751-761, 1991. ,
DOI : 10.1109/32.83912
The semantics of programming languages, 1990. ,
Systematic software development uhing VDM. I'rcnticc-Hall, 1990. ,
MIX: a selfapplicable partial evaluaior for experiments in compiler gencration, Lisp and Symbolic Computation 2, p.9, 1989. ,
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. ,
Techniques for evaluation of imperative languages, ACM SIGSOFT, pp.94-105, 1991. ,
A siructural approach to operational semantics, 1981. ,