]. A. Berlinweiseg0, D. F. Berlin, C. De-paoli, and D. Ghezzi, Andersen C program specialization Master's thesisWeise Compiling scientific code using partial evaluation [Centaur90] Centaur group The Centaur 1.1 documentationMandrioli Software specialization via symbolic execution lF.k'l, ANSI78] Programming language Fortran ANSI standard X3.9ErshovOstrovski87] A.P.Ershov, B.N.Ostrovski Controlled mixed computation and its application to systematic development of language-oriented parsers Program Specification and Transformation, pp.25-37, 1978.

]. K. Gallagherlyle91 and J. R. Gallagher, Coanexite Reference manual of the Foresys line of software products 1993Lyle Using program slicing in software maintenance Transactions on Software Engineering, pp.751-761, 1991.

M. I. -iaziza, J. F. Voidrot, E. Minor, L. Pofelski, and S. , Blazy Software maintenance: an analysis of industrial needs and constrahits lb-~, Conference on Software Maintenance, 1992.

]. C. Jones90, . D. Jouessestoftsondergaard89-]-n, P. Jones, and . Sestoft, Jones Systematic software development using VDM Prentice-Hall, 2nd eels ILSoudergaard MIX: a self-applicable partial evaluator for experiments in compiler generation Lisp and Symbolic Computation 2, pp.9-50, 1989.

G. Kahn, [Kasyanov91] V.Kasyanov Transformational approach to program concretization Theoretical computer science, Natural semantics Proceedings of STACS'87KemmererEckmann85] R.Kemmerer, S.Eckmann UNISEX: a UNIX-based Symbolic Executor for Pascal Software Practice and Experience, pp.37-46, 1985.

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

S. Nicolas and E. Aubry, Briere A finite volume approach for 3D two phase flows in tube bundles: the THYC code Kernforschungscenlxum, pp.1247-1253, 1989.